From febc02c45363b911b8b80144610bdf54e7306d95 Mon Sep 17 00:00:00 2001
From: Bernhard Mueller <bernhard.mueller11@gmail.com>
Date: Thu, 27 Jun 2019 17:14:42 +0200
Subject: [PATCH] Another bugfix for DoS module

---
 mythril/analysis/modules/dos.py | 1 -
 1 file changed, 1 deletion(-)

diff --git a/mythril/analysis/modules/dos.py b/mythril/analysis/modules/dos.py
index 1de08380..f5b9b0d4 100644
--- a/mythril/analysis/modules/dos.py
+++ b/mythril/analysis/modules/dos.py
@@ -79,7 +79,6 @@ class DOS(DetectionModule):
             target = util.get_concrete_int(state.mstate.stack[-1])
 
             if target in annotation.jump_targets:
-                annotation.is_loop = True
                 annotation.loop_start = address
             else:
                 annotation.jump_targets.append(target)