From 1bc33bc8c591570f7df4fffc4abb7ccabe2238c3 Mon Sep 17 00:00:00 2001
From: Stan Lee <slee93@stanford.edu>
Date: Mon, 20 Apr 2026 14:47:43 -0700
Subject: [PATCH] re-trigger

---
 passes/sat/sim.cc | 1 +
 1 file changed, 1 insertion(+)

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;