X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2FMakefile;h=28462e58e5140d8f98ac0c1c1c3abedbce79ef50;hb=a031240cd6e2e0dcd6936eca6e535f3c55d0b91a;hp=3fbe90ddb920a4be43166c8a8dbcb6f88f76a01e;hpb=cc06e8f7ca6f31bbbd1939a136988529fb220e65;p=helm.git

diff --git a/helm/ocaml/cic_proof_checking/Makefile b/helm/ocaml/cic_proof_checking/Makefile
index 3fbe90ddb..28462e58e 100644
--- a/helm/ocaml/cic_proof_checking/Makefile
+++ b/helm/ocaml/cic_proof_checking/Makefile
@@ -25,6 +25,9 @@ EXTRA_OBJECTS_TO_CLEAN =
 
 include ../Makefile.common
 
+cicReduction.cmo: OCAMLOPTIONS+=-rectypes
+cicReduction.cmx: OCAMLOPTIONS+=-rectypes
+
 all: all_utilities
 opt: opt_utilities