From f8cb96da667a93fe36f944b915384214146c0527 Mon Sep 17 00:00:00 2001
From: Franck Dary <franck.dary@lis-lab.fr>
Date: Wed, 4 Dec 2019 19:08:05 +0100
Subject: [PATCH] Fixed head is at end function
---
transition_machine/src/Config.cpp | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/transition_machine/src/Config.cpp b/transition_machine/src/Config.cpp
index 715c944..ca4a2cb 100644
--- a/transition_machine/src/Config.cpp
+++ b/transition_machine/src/Config.cpp
@@ -735,7 +735,7 @@ bool Config::Tape::headIsAtEnd() const
if (head >= ref.getLastIndex())
return true;
- return getHyp(1).empty();
+ return !getHyp(0).empty() && getHyp(1).empty();
}
int Config::Tape::size()
--
GitLab