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,