All known bugs fixed.

[helm.git] / helm / software / matita / contribs / formal_topology / bin / Makefile

diff --git a/helm/software/matita/contribs/formal_topology/bin/Makefile b/helm/software/matita/contribs/formal_topology/bin/Makefile
index b02798067efa981489382f1cd8be556ad3c8325e..3bfd0c9ee1401f5b3f9f6d52e8b1ac42e9d92d79 100644 (file)
--- a/helm/software/matita/contribs/formal_topology/bin/Makefile
+++ b/helm/software/matita/contribs/formal_topology/bin/Makefile
@@ -1,2 +1,2 @@
 theory_explorer: theory_explorer.ml
-       ocamlc -g -rectypes -o theory_explorer unix.cma theory_explorer.ml
+       ocamlopt -rectypes -o theory_explorer unix.cmxa theory_explorer.ml