X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fng_extraction%2FMakefile;h=46f6f14de3c55aafc8d106422c83e4ea2930b314;hb=refs%2Fheads%2Fmatita-lablgtk3;hp=8bbda655e6f2b2f18f8b0c3ebb9c193ede50b134;hpb=95e3387af669e9a9e30dafd4d096c2741fc9041c;p=helm.git

diff --git a/matita/components/ng_extraction/Makefile b/matita/components/ng_extraction/Makefile
index 8bbda655e..46f6f14de 100644
--- a/matita/components/ng_extraction/Makefile
+++ b/matita/components/ng_extraction/Makefile
@@ -16,9 +16,6 @@ IMPLEMENTATION_FILES = \
    miniml.ml $(INTERFACE_FILES:%.mli=%.ml)
 EXTRA_OBJECTS_TO_INSTALL = 
 EXTRA_OBJECTS_TO_CLEAN =
-%.cmo: OCAMLOPTIONS += -w Ae
-%.cmi: OCAMLOPTIONS += -w Ae
-%.cmx: OCAMLOPTIONS += -w Ae
 
 include ../../Makefile.defs
 include ../Makefile.common