else [])@
[GA.Executable(floc,GA.Tactic(floc, Some (
if ueq_case then
- GA.AutoBatch (floc,["paramodulation","";
- "timeout",string_of_int !paramod_timeout])
+ GA.AutoBatch (floc,([],["paramodulation","";
+ "timeout",string_of_int !paramod_timeout]))
else
- GA.AutoBatch (floc,["depth",string_of_int !depth])
+ GA.AutoBatch (floc,([],["depth",string_of_int !depth]))
),
- GA.Dot(floc)));
+ GA.Semicolon(floc)));
GA.Executable(floc,GA.Tactic(floc, Some (GA.Try(floc,
GA.Assumption floc)), GA.Dot(floc)))
]@