Fixed pretty printer and debug printings

[helm.git] / helm / software / components / binaries / matitaprover / matitaprover.ml

diff --git a/helm/software/components/binaries/matitaprover/matitaprover.ml b/helm/software/components/binaries/matitaprover/matitaprover.ml
index aa77e0c5a454566708b6fd54f399a1761ce5d9a7..3736c024dbf02a4b2199f235480bccbae8e4bab4 100644 (file)
--- a/helm/software/components/binaries/matitaprover/matitaprover.ml
+++ b/helm/software/components/binaries/matitaprover/matitaprover.ml
@@ -289,7 +289,7 @@ usage: matitaprover [options] problemfile";
     ;
       (fun () -> worker `KBO ~useage:true ~printmsg:false goal hypotheses)
     ;
-      (fun () -> worker `LPO ~useage:true ~printmsg:true goal hypotheses)
+      (fun () -> worker `LPO ~useage:true ~printmsg:false goal hypotheses)
     ;
       (fun () -> worker `NRKBO ~useage:false ~printmsg:false goal hypotheses)
     ];