From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Thu, 9 Jul 2009 10:03:17 +0000 (+0000)
Subject: 1 process for now
X-Git-Tag: make_still_working~3717
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=a6011d00d7c377056ead2e0974c68a7a3ae069d0;p=helm.git
1 process for now
---
diff --git a/helm/software/components/binaries/matitaprover/matitaprover.ml b/helm/software/components/binaries/matitaprover/matitaprover.ml
index 35d6fd79c..c029cfa22 100644
--- a/helm/software/components/binaries/matitaprover/matitaprover.ml
+++ b/helm/software/components/binaries/matitaprover/matitaprover.ml
@@ -197,9 +197,11 @@ usage: matitaprover [options] problemfile";
let module M = Main(struct let cmp (a,_) (b,_) = compare a b end) in
M.main goal hypotheses)
;
+(*
(fun () ->
let module M = Main(struct let cmp (a,_) (b,_) = compare b a end) in
M.main goal hypotheses)
+*)
];
let rec aux () =
if List.length !childs = 0 then