X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fmatita%2Fcontribs%2Fformal_topology%2Fbin%2FMakefile;h=4b532e262ba8625792b350ea57f3db83bc1b48ed;hb=5fee26d2afb3a67370c92481bfbfdbd9ebed741e;hp=a9298a9212fc5e8c24befa438f0ad2f08052aedb;hpb=dd70926289053cdc003776a5074d2262a2ec8243;p=helm.git

diff --git a/helm/software/matita/contribs/formal_topology/bin/Makefile b/helm/software/matita/contribs/formal_topology/bin/Makefile
index a9298a921..4b532e262 100644
--- a/helm/software/matita/contribs/formal_topology/bin/Makefile
+++ b/helm/software/matita/contribs/formal_topology/bin/Makefile
@@ -1,2 +1,2 @@
 comb: comb.ml
-	ocamlfind ocamlc -g -linkpkg -package ocamlgraph,unix -o comb comb.ml
+	ocamlfind ocamlopt -g -linkpkg -package ocamlgraph,unix -o comb comb.ml