diff --git a/sbysrc/sby_engine_btor.py b/sbysrc/sby_engine_btor.py
index bc4c1b5..a8a2aca 100644
--- a/sbysrc/sby_engine_btor.py
+++ b/sbysrc/sby_engine_btor.py
@@ -295,8 +295,6 @@ def run(mode, task, engine_idx, engine):
                     if common_state.solver_status is None:
                         common_state.solver_status = "sat"
                 return line
-                
-
             print(line, file=proc.logfile)
 
         return None