X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=helm%2Fsoftware%2Fcomponents%2Ftptp_grafite%2Ftptp2grafite.ml;h=a7f3a85238fcf527172074b8266caf6396e1291b;hb=582e05fe21e170d26986a848c26ca07e97c014bd;hp=fa280b3f8adcd864496eb94af4440d1a445aa324;hpb=1acfe506c30e7fcc9d6e427d2523130c371a1159;p=helm.git

diff --git a/helm/software/components/tptp_grafite/tptp2grafite.ml b/helm/software/components/tptp_grafite/tptp2grafite.ml
index fa280b3f8..a7f3a8523 100644
--- a/helm/software/components/tptp_grafite/tptp2grafite.ml
+++ b/helm/software/components/tptp_grafite/tptp2grafite.ml
@@ -260,10 +260,10 @@ let convert_ast statements context = function
            else [])@
             [GA.Executable(floc,GA.Tactic(floc, Some (
               if ueq_case then
-                GA.Auto (floc,["paramodulation","";
+                GA.AutoBatch (floc,["paramodulation","";
                   "timeout",string_of_int !paramod_timeout])
               else
-                GA.Auto (floc,["depth",string_of_int !depth])
+                GA.AutoBatch (floc,["depth",string_of_int !depth])
             ),
               GA.Dot(floc)));
             GA.Executable(floc,GA.Tactic(floc, Some (GA.Try(floc,