- | TacticAst.Command (_, cmd) ->
- print_endline (TacticAstPp.pp_command cmd)
- | TacticAst.Tactical (_, tac) ->
- print_endline (TacticAstPp.pp_tactical tac))
+ | TacticAst.Executable (_, exe)
+ | TacticAst.Comment (_,TacticAst.Code (_, exe)) ->
+ print_endline (TacticAstPp.pp_executable exe)
+ | TacticAst.Comment (_,TacticAst.Note (_, note)) ->
+ print_endline note)