X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Ffix_params%2FMakefile;h=92ac930bc9827e6ba8edb21531bd563fb28c5e86;hb=4167cea65ca58897d1a3dbb81ff95de5074700cc;hp=29a6a968285410f36ec0cabb4d38455ef8542dff;hpb=f9b4235fda2f3d390ef8fa5ddee2d4e2a0f377ae;p=helm.git

diff --git a/helm/fix_params/Makefile b/helm/fix_params/Makefile
index 29a6a9682..92ac930bc 100644
--- a/helm/fix_params/Makefile
+++ b/helm/fix_params/Makefile
@@ -1,6 +1,6 @@
 REQUIRES = helm-getter helm-cic_cache helm-xml
 PREDICATES =
-OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)"
+OCAMLOPTIONS = -package "$(REQUIRES)" -predicates "$(PREDICATES)" -pp camlp4o
 OCAMLDEP = ocamldep
 OCAMLFIND = ocamlfind
 OCAMLC = $(OCAMLFIND) ocamlc $(OCAMLOPTIONS)