X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_notation%2FMakefile;fp=helm%2Focaml%2Fcic_notation%2FMakefile;h=fcf53edd5535eda996394cfbec8f23e7b49c4db3;hb=aeb07f9b54ff0a5ab8f7a6c6f229f0bf3e7f9d62;hp=8a168568f804172e4fc28923ab3291eea6f8a0fa;hpb=3b4ce4f34c41a0a588cbb02e69a728d296b75359;p=helm.git

diff --git a/helm/ocaml/cic_notation/Makefile b/helm/ocaml/cic_notation/Makefile
index 8a168568f..fcf53edd5 100644
--- a/helm/ocaml/cic_notation/Makefile
+++ b/helm/ocaml/cic_notation/Makefile
@@ -27,8 +27,8 @@ test_parser: test_parser.ml $(PACKAGE).cma
 
 cicNotationLexer.cmo: OCAMLC = $(OCAMLC_P4)
 cicNotationParser.cmo: OCAMLC = $(OCAMLC_P4)
-cicNotationLexer.cmx: OCAMLC = $(OCAMLC_P4)
-cicNotationParser.cmx: OCAMLC = $(OCAMLC_P4)
+cicNotationLexer.cmx: OCAMLOPT = $(OCAMLOPT_P4)
+cicNotationParser.cmx: OCAMLOPT = $(OCAMLOPT_P4)
 
 clean: extra_clean
 distclean: extra_clean