diff --git a/mythril/laser/ethereum/strategy/extensions/bounded_loops.py b/mythril/laser/ethereum/strategy/extensions/bounded_loops.py
index 064f8827..48f77383 100644
--- a/mythril/laser/ethereum/strategy/extensions/bounded_loops.py
+++ b/mythril/laser/ethereum/strategy/extensions/bounded_loops.py
@@ -48,7 +48,7 @@ class BoundedLoopsStrategy(BasicSearchStrategy):
         :return:
         """
 
-        while 1:
+        while True:
 
             state = self.super_strategy.get_strategic_global_state()
             opcode = state.get_current_instruction()["opcode"]