diff --git a/transition_machine/src/Oracle.cpp b/transition_machine/src/Oracle.cpp index a4cd2a2e42d5809b4235864800ac4f2fa53c614a..e93e578243d9bd0d210398895385d1cfad12fa64 100644 --- a/transition_machine/src/Oracle.cpp +++ b/transition_machine/src/Oracle.cpp @@ -689,7 +689,7 @@ void Oracle::explainCostOfAction(FILE * output, Config & c, const std::string & } else if (headGov == s) { - fprintf(output, "The current getHead()\'s governor is on the stack %d(%s)\n", s, c.getTape("FORM").getRef(s-head).c_str()); + fprintf(output, "The current head\'s governor is on the stack %d(%s)\n", s, c.getTape("FORM").getRef(s-head).c_str()); return; } }