diff --git a/benchexec/tools/moxi-mc-flow.py b/benchexec/tools/moxi-mc-flow.py
index 1cafeafa5..97d133c44 100644
--- a/benchexec/tools/moxi-mc-flow.py
+++ b/benchexec/tools/moxi-mc-flow.py
@@ -7,7 +7,6 @@
 
 import benchexec.result as result
 import benchexec.tools.template
-from math import ceil
 
 
 class Tool(benchexec.tools.template.BaseTool2):