X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmetadata%2Fcreate2%2Fmk_forward%2FMakefile;h=3eccfbf95e97a20ba686b2cf301e46a7905aa6d5;hb=b1fb6b8e1767d775bc452303629e95941d142bea;hp=f24c47a669f0ef8fb50be8d8247053b40ccb2ee0;hpb=f9b4235fda2f3d390ef8fa5ddee2d4e2a0f377ae;p=helm.git

diff --git a/helm/metadata/create2/mk_forward/Makefile b/helm/metadata/create2/mk_forward/Makefile
index f24c47a66..3eccfbf95 100644
--- a/helm/metadata/create2/mk_forward/Makefile
+++ b/helm/metadata/create2/mk_forward/Makefile
@@ -1,6 +1,6 @@
 REQUIRES = helm-xml helm-cic_proof_checking
 PREDICATES = miniReduction
-OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
+OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o
 OCAMLDEP = ocamldep
 OCAMLFIND = ocamlfind
 OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLOPTIONS)