diff --git a/compiler/debug.py b/compiler/debug.py
index f07471cc..15876f22 100644
--- a/compiler/debug.py
+++ b/compiler/debug.py
@@ -26,9 +26,6 @@ def check(check, str):
         log("ERROR: file {0}: line {1}: {2}\n".format(
             os.path.basename(filename), line_number, str))
 
-        if globals.OPTS.debug_level > 0:
-            import pdb
-            pdb.set_trace()
         assert 0
 
 
@@ -40,9 +37,6 @@ def error(str, return_value=0):
     log("ERROR: file {0}: line {1}: {2}\n".format(
         os.path.basename(filename), line_number, str))
 
-    if globals.OPTS.debug_level > 0 and return_value != 0:
-        import pdb
-        pdb.set_trace()
     assert return_value == 0