| tac -> tac
in
let needed_by_script ast =
- prerr_endline (TacticAstPp.pp_tactical ast);
match strip_locations ast with
| A.Tactic _
| A.Command
| _ -> false
in
let ast = disambiguator#parserr#parseTactical (Stream.of_string s) in
+ debug_print (sprintf "evaluating '%s'" s);
if needed_by_script ast then
script#advance s
else