X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Fmatitaprover%2Fmatitaprover.ml;fp=helm%2Fsoftware%2Fcomponents%2Fbinaries%2Fmatitaprover%2Fmatitaprover.ml;h=3736c024dbf02a4b2199f235480bccbae8e4bab4;hb=4693f3b9de6d867921b51f61e9a7dc36c3da1b77;hp=aa77e0c5a454566708b6fd54f399a1761ce5d9a7;hpb=bebc917ebff72c2e235cb3062a4c94f10a9aab27;p=helm.git

diff --git a/helm/software/components/binaries/matitaprover/matitaprover.ml b/helm/software/components/binaries/matitaprover/matitaprover.ml
index aa77e0c5a..3736c024d 100644
--- 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)
     ];