From e5812a45d19be945827c159c8a0fd1007ecc5128 Mon Sep 17 00:00:00 2001
From: Franck Dary <franck.dary@lis-lab.fr>
Date: Mon, 14 Oct 2019 15:37:53 +0200
Subject: [PATCH] Added bug where GOV tape was mandatory
---
transition_machine/src/Config.cpp | 3 +++
1 file changed, 3 insertions(+)
diff --git a/transition_machine/src/Config.cpp b/transition_machine/src/Config.cpp
index b33755b..2849c8a 100644
--- a/transition_machine/src/Config.cpp
+++ b/transition_machine/src/Config.cpp
@@ -820,6 +820,9 @@ void Config::setLastIndexPrinted(int lastIndexPrinted)
void Config::setGovsAsUD(bool ref)
{
+ if (!hasTape("GOV"))
+ return;
+
auto & ids = getTape("ID");
auto & govs = getTape("GOV");
--
GitLab