- | EGoal (loc, goal) -> string_goal () (Some name, goal) ^ "\n"
- | ETactic (loc, tactic) -> string_tactic () (Some name, tactic) ^ "\n"
+ | EGoalDefn (loc, goal) -> string_goal () (Some name, goal) ^ "\n"
+ | ETacticDefn (loc, tactic) -> string_tactic () (Some name, tactic) ^ "\n"