From 1298607d958c067d5e15165ef8578f8eb71c9432 Mon Sep 17 00:00:00 2001 From: Stan Lee Date: Fri, 17 Apr 2026 10:29:13 -0700 Subject: [PATCH] fix compilation err --- passes/sat/sim.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/passes/sat/sim.cc b/passes/sat/sim.cc index 4da2b6e47..90ffc689f 100644 --- a/passes/sat/sim.cc +++ b/passes/sat/sim.cc @@ -1285,7 +1285,7 @@ struct SimInstance Const vcd_val = Const::from_string(shared->fst->valueOf(item.second)); Const sim_val = get_state(wire); if (sim_val != vcd_val) { - if (debug) + if (shared->debug) log_warning("Register mismatch at time %lu%s for %s.%s: " "sim=%s vcd=%s, overwriting...\n", (unsigned long)time,