diff --git a/mythril/analysis/modules/integer.py b/mythril/analysis/modules/integer.py
index 056bcbe0..d72c9447 100644
--- a/mythril/analysis/modules/integer.py
+++ b/mythril/analysis/modules/integer.py
@@ -82,10 +82,8 @@ def _check_integer_overflow(statespace, state, node):
         logging.debug("[INTEGER_OVERFLOW] no model found")
         return issues
 
-    '''
     if not _verify_integer_overflow(statespace, node, expr, state, model, constraint, op0, op1):
         return issues
-    '''
     
     # Build issue
     issue = Issue(node.contract_name, node.function_name, instruction['address'], "Integer Overflow ", "Warning")