From fada2c5b3808f3e5e6c4a42e8e39c5657c79e61b Mon Sep 17 00:00:00 2001
From: Bernhard Mueller <bernhard.mueller11@gmail.com>
Date: Fri, 7 Jun 2019 15:59:53 +0200
Subject: [PATCH] Enable effects check

---
 mythril/analysis/modules/integer.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mythril/analysis/modules/integer.py b/mythril/analysis/modules/integer.py
index 3bac3efb..4aa9b567 100644
--- a/mythril/analysis/modules/integer.py
+++ b/mythril/analysis/modules/integer.py
@@ -31,7 +31,7 @@ import logging
 
 log = logging.getLogger(__name__)
 
-DISABLE_EFFECT_CHECK = True
+DISABLE_EFFECT_CHECK = False
 
 
 class OverUnderflowAnnotation: