diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc
index 6e4d84dd6..c70605cc1 100644
--- a/passes/sat/sim.cc
+++ b/passes/sat/sim.cc
@@ -1192,7 +1192,6 @@ struct SimInstance
 			child.second->register_output_step_values(data);
 	}
 
-
 	bool setInitState()
 	{
 		bool did_something = false;