Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

Fix warning flag

  • Loading branch information...
commit ec4ed2ff2fbd850890015ee91df26bf0d2f9df77 1 parent 24872e0
@andrenth authored
Showing with 1 addition and 1 deletion.
  1. +1 −1  _tags
View
2  _tags
@@ -30,4 +30,4 @@
<lib_test/*.ml{,i}>: pkg_unix
# OASIS_STOP
<*/*.ml>: annot
-<*/*.ml>: warn_error
+<*/*.ml>: warn_error_A
Please sign in to comment.
Something went wrong with that request. Please try again.