Bugfix: bad variable name for the implementation of the Globally operator

2017-03-12 14:38:18 +01:00
parent 20f66b5556
commit 5934c6381d
1 changed files with 1 additions and 1 deletions
--- 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),