+
+let disambiguate_comment status c =
+ match c with
+ | TacticAst.Note (loc,n) -> status, TacticAst.Note (loc,n)
+ | TacticAst.Code (loc,ex) ->
+ let status, ex = disambiguate_executable status ex in
+ status, TacticAst.Code (loc,ex)
+
+let disambiguate_statement status statement =
+ match statement with
+ | TacticAst.Comment (loc,c) ->
+ let status, c = disambiguate_comment status c in
+ status, TacticAst.Comment (loc,c)
+ | TacticAst.Executable (loc,ex) ->
+ let status, ex = disambiguate_executable status ex in
+ status, TacticAst.Executable (loc,ex)