From e04800a471d6747713241750b2215862ae3d8468 Mon Sep 17 00:00:00 2001
From: Po-Chun Chien <po-chun.chien@sosy.ifi.lmu.de>
Date: Thu, 5 Dec 2024 18:07:43 +0100
Subject: [PATCH] Remove an unused import

---
 benchexec/tools/moxi-mc-flow.py | 1 -
 1 file changed, 1 deletion(-)

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):