enforce that exceptions are not suppressed

fplll · Apr 18, 2018 · 667de37 · 667de37
1 parent b0a18b0
commit 667de37
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/fpylll/tools/bkz_stats.py b/src/fpylll/tools/bkz_stats.py
@@ -303,6 +303,8 @@ def __exit__(self, exception_type, exception_value, exception_traceback):
         """
         Call ``exit`` on trace object
         """
+        if exception_type is not None:
+            return False
         self.tracer.exit(**self.kwds)