statements @ [
GA.Executable(floc,GA.Command(floc,GA.Obj(floc,o)));
GA.Executable(floc,GA.Tactic(floc, Some
- (GA.Intros (floc,None,[])),GA.Dot(floc)))] @
+ (GA.Intros (floc,(None,[]))),GA.Dot(floc)))] @
(if fv <> [] then
(List.flatten
(List.map
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,