diff --git a/benchexec/tools/divine4.py b/benchexec/tools/divine4.py
index <HASH>..<HASH> 100644
--- a/benchexec/tools/divine4.py
+++ b/benchexec/tools/divine4.py
@@ -20,6 +20,9 @@ limitations under the License.
 
 This file contains tool support for DIVINE (divine.fi.muni.cz)
 """
+
+import logging
+
 import benchexec.util as util
 import benchexec.tools.template
 import benchexec.result as result
Fix for divine4: name 'logging' was undefined