From 7560e3ff6372e32da5f31c6632e57f7ffcb91e7d Mon Sep 17 00:00:00 2001
From: Franck Dary <franck.dary@lis-lab.fr>
Date: Tue, 22 Oct 2019 15:59:26 +0200
Subject: [PATCH] Fixed known eos

---
 transition_machine/src/Config.cpp | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/transition_machine/src/Config.cpp b/transition_machine/src/Config.cpp
index 7baae4f..254da76 100644
--- a/transition_machine/src/Config.cpp
+++ b/transition_machine/src/Config.cpp
@@ -395,15 +395,15 @@ void Config::printAsOutput(FILE * output, int dataIndex, int realIndex, bool for
     }
     else
     {
-      eosStr = eos.getHyp(dataIndex-head);
-      if (eosStr.empty())
-        eosStr = eos[dataIndex-head];
+      if (eos.getKnown())
+        eosStr = eos.getRef(dataIndex-head);
+      else
+        eosStr = eos.getHyp(dataIndex-head);
     }
 
     if (eosStr == ProgramParameters::sequenceDelimiter)
       fprintf(output, "\n");
   }
-
 }
 
 void Config::moveHead(int mvt)
-- 
GitLab