From 82849e5f67ab162917bdd2fd7a9e6c996f18af0a Mon Sep 17 00:00:00 2001
From: sp <stefan.pranger@iaik.tugraz.at>
Date: Sat, 20 Jan 2024 13:12:28 +0100
Subject: [PATCH] changed NOFAULT constant

---
 util/PrismPrinter.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/PrismPrinter.h b/util/PrismPrinter.h
index 1f82cf4..c12b585 100644
--- a/util/PrismPrinter.h
+++ b/util/PrismPrinter.h
@@ -5,7 +5,7 @@
 
 #include "cell.h"
 
-#define NOFAULT 3
+#define NOFAULT 7
 #define LEFT 0
 #define RIGHT 1
 #define FORWARD 2