New version: only new nodes are normalized; moreover, reduction stops as soon

[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 1f2421a9dd28e7be0e1ca6e60ae3ac426ddda82b..a9298a9212fc5e8c24befa438f0ad2f08052aedb 100644 (file)
--- 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 -linkpkg -package ocamlgraph,unix -o comb comb.ml
+       ocamlfind ocamlc -g -linkpkg -package ocamlgraph,unix -o comb comb.ml