X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2FMakefile;h=d8d81bf3713159caa7007221f6cd0922f7a13d9f;hb=134d8273511016e9b6de3423d301a080046f3948;hp=e822326d489c2fc4002dc8a7f52bb60f67b6bf24;hpb=66ed4f33ff67b9fe0c28ce4a37eee4834e78e115;p=helm.git

diff --git a/helm/software/matita/Makefile b/helm/software/matita/Makefile
index e822326d4..d8d81bf37 100644
--- a/helm/software/matita/Makefile
+++ b/helm/software/matita/Makefile
@@ -11,7 +11,7 @@ else
   ANNOTOPTION =
 endif
 
-OCAML_FLAGS = -pp $(CAMLP5O) -rectypes $(ANNOTOPTION)
+OCAML_FLAGS = -pp $(CAMLP5O) -rectypes $(ANNOTOPTION) 
 OCAMLDEP_FLAGS = -pp $(CAMLP5O) 
 PKGS = -package "$(MATITA_REQUIRES)"
 CPKGS = -package "$(MATITA_CREQUIRES)"