Don't warn about unused match case
Don't warn about unused match case

This is just to make upgrades easier.

talex5/mirage-profile,talex5/mirage-profile,ComposMin/mirage-profile,ComposMin/mirage-profile