From 5934c6381d262e7aef2a68792302eef9037abcdf Mon Sep 17 00:00:00 2001
From: Artur Meski <artur@Arturs-MacBook-Pro.local>
Date: Sun, 12 Mar 2017 14:38:18 +0100
Subject: [PATCH] Bugfix: bad variable name for the implementation of the
 Globally operator

---
 logics/rsltl_encoder.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/logics/rsltl_encoder.py b/logics/rsltl_encoder.py
index 9171e46..e100fd8 100644
--- a/logics/rsltl_encoder.py
+++ b/logics/rsltl_encoder.py
@@ -112,7 +112,7 @@ class rsLTL_Encoder(object):
                 # level == bound
                 enc_loops = False
                 for loop_level in range(1, bound+1):
-                    enc_loops = Or(enc, 
+                    enc_loops = Or(enc_loops, 
                             And(
                                 self.loop_position == loop_level,
                                 self.encode_approx(formula, loop_level, bound),