added options to get warnings, as suggested by xclerc

rdicosmo · Oct 12, 2014 · d6688ca · d6688ca
1 parent 599878e
commit d6688ca
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/_tags b/_tags
@@ -6,3 +6,4 @@
 
 
 <*sdl.*>: package(bigarray), package(sdl)
+<*.{ml,mli}>: warn(Ae)