From fb9a64086e7bf89346d7b15242b66b3501a891aa Mon Sep 17 00:00:00 2001
From: Stan Lee <slee93@stanford.edu>
Date: Mon, 20 Apr 2026 14:47:57 -0700
Subject: [PATCH] undo

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

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;