From a688d449ff80b7835a4ecc1c9f59654e6f8bde2c Mon Sep 17 00:00:00 2001
From: Franck Dary <franck.dary@lis-lab.fr>
Date: Thu, 12 Sep 2019 11:17:01 +0200
Subject: [PATCH] corrected typo
---
transition_machine/src/Oracle.cpp | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/transition_machine/src/Oracle.cpp b/transition_machine/src/Oracle.cpp
index 7600499..a4cd2a2 100644
--- a/transition_machine/src/Oracle.cpp
+++ b/transition_machine/src/Oracle.cpp
@@ -743,7 +743,7 @@ void Oracle::explainCostOfAction(FILE * output, Config & c, const std::string &
if (labels.getRef(stackHead-head) != parts[1])
{
- fprintf(output, "Stack getHead() label %s mismatch with action label %s\n", labels.getRef(stackHead-head).c_str(), parts[1].c_str());
+ fprintf(output, "Stack's head label %s mismatch with action label %s\n", labels.getRef(stackHead-head).c_str(), parts[1].c_str());
return;
}
@@ -752,12 +752,12 @@ void Oracle::explainCostOfAction(FILE * output, Config & c, const std::string &
int otherGov = i + std::stoi(govs.getRef(i-head));
if (otherGov == stackHead)
{
- fprintf(output, "Word %d(%s)\'s governor is the stack getHead()\n", i, c.getTape("FORM").getRef(i-head).c_str());
+ fprintf(output, "Word %d(%s)\'s governor is the stack's head\n", i, c.getTape("FORM").getRef(i-head).c_str());
return;
}
else if (stackGov == i)
{
- fprintf(output, "Stack getHead()\'s governor is the word %d(%s)\n", i, c.getTape("FORM").getRef(i-head).c_str());
+ fprintf(output, "Stack head's governor is the word %d(%s)\n", i, c.getTape("FORM").getRef(i-head).c_str());
return;
}
}
--
GitLab