Benchcomp visualize: fix missing import (#2977)

logging is required when handling errors.
model-checking · Jan 18, 2024 · 965810e · 965810e
1 parent b349137
commit 965810e
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tools/benchcomp/benchcomp/visualizers/__init__.py b/tools/benchcomp/benchcomp/visualizers/__init__.py
@@ -4,6 +4,7 @@
 
 import dataclasses
 import json
+import logging
 import subprocess
 import textwrap