X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fcic_proof_checking%2FMakefile;h=28462e58e5140d8f98ac0c1c1c3abedbce79ef50;hb=6f0e3275c5a100568c8529d6c58150ef4af692d0;hp=3fbe90ddb920a4be43166c8a8dbcb6f88f76a01e;hpb=2034db684e1d295527afad07a94f2f3b6b4ed7e2;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