Most warnings turned into errors and avoided

[helm.git] / matita / components / ng_extraction / Makefile

diff --git a/matita/components/ng_extraction/Makefile b/matita/components/ng_extraction/Makefile
index 8bbda655e6f2b2f18f8b0c3ebb9c193ede50b134..46f6f14de3c55aafc8d106422c83e4ea2930b314 100644 (file)
--- 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