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