X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2Fmathql_interpreter%2FMakefile;h=261feac7be1a5b027f58d4fb26dc8ebca5e13339;hb=7cb90c67bc6f8113188a91ecc29f6db20db5aeb8;hp=88c66ac8ed5d478cbb22789dc0f8f36653179f50;hpb=68e62a195d6228befb75b4e2edd59bc58b1cdb0c;p=helm.git

diff --git a/helm/ocaml/mathql_interpreter/Makefile b/helm/ocaml/mathql_interpreter/Makefile
index 88c66ac8e..261feac7b 100644
--- a/helm/ocaml/mathql_interpreter/Makefile
+++ b/helm/ocaml/mathql_interpreter/Makefile
@@ -1,3 +1,4 @@
+
 PACKAGE = mathql_interpreter
 REQUIRES = helm-urimanager helm-mathql postgres
 #natile-galax