X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2FMakefile;h=5276991102b4fffba0074c09f08839a9c9f3092d;hb=e082eec771e24842f29a01fa258f7c80bc2db599;hp=d40a15c7a6eb5d4286d2ecae4d01fd1ce6dd6188;hpb=2815c74c03f38089d0e27aba00e2280223b0f76f;p=helm.git

diff --git a/matita/matita/Makefile b/matita/matita/Makefile
index d40a15c7a..527699110 100644
--- a/matita/matita/Makefile
+++ b/matita/matita/Makefile
@@ -11,7 +11,8 @@ else
   ANNOTOPTION =
 endif
 
-OCAML_FLAGS = -pp $(CAMLP5O) -rectypes $(ANNOTOPTION) -w @A-52-4-34-37-45-9-44-48-6-32-20-58-7
+#OCAML_FLAGS = -pp $(CAMLP5O) -rectypes $(ANNOTOPTION) -w @A-52-4-34-37-45-9-44-48-6-32-20-58-7-70-31
+OCAML_FLAGS = -rectypes $(ANNOTOPTION) -w @A-52-4-34-37-45-9-44-48-6-32-20-58-7-70-31-29
 OCAMLDEP_FLAGS = -pp $(CAMLP5O) 
 PKGS = -package "$(MATITA_REQUIRES)"
 CPKGS = -package "$(MATITA_CREQUIRES)"