Revert "_kompiler.py: add ignore_warnings argument to kompile call"

This reverts commit 47594df.
runtimeverification · Jun 24, 2024 · 65adaee · 65adaee
1 parent 47594df
commit 65adaee
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/pyk/src/pyk/testing/_kompiler.py b/pyk/src/pyk/testing/_kompiler.py
@@ -78,7 +78,6 @@ def __call__(
                 output_dir=output_dir,
                 type_inference_mode=TypeInferenceMode.CHECKED,
                 warnings_to_errors=True,
-                ignore_warnings=(),
             )
 
         return self._cache[kompile]