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=f7c268c3a22a5096be7da70a828f076c46645e4a;hb=4aea55553769e6f07aa6579bfdd416d02929494f;hp=e5350566df7a3c148400ad70d8192b72cb9574b0;hpb=0f10830e4d9695ab51f8f7aefe9c61460a35597a;p=helm.git

diff --git a/helm/ocaml/cic_notation/Makefile b/helm/ocaml/cic_notation/Makefile
index e5350566d..f7c268c3a 100644
--- a/helm/ocaml/cic_notation/Makefile
+++ b/helm/ocaml/cic_notation/Makefile
@@ -44,6 +44,7 @@ cicNotationParser.ml.annot: OCAMLC = $(OCAMLC_P4)
 cicNotationLexer.ml.annot: OCAMLC = $(OCAMLC_P4)
 cicNotationPres.cmi: OCAMLOPTIONS += -rectypes
 cicNotationPres.cmo: OCAMLOPTIONS += -rectypes
+cicNotationPres.cmx: OCAMLOPTIONS += -rectypes
 
 clean: extra_clean
 distclean: extra_clean