Fix the regression

diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc
index 453ae8cca7f55cf9e10712c5399f2550358e0d50..4492fc2b7efa7e06c0179d578242641be690f107 100644 (file)
--- a/passes/sat/sat.cc
+++ b/passes/sat/sat.cc
@@ -1554,13 +1554,14 @@ struct SatPass : public Pass {
                                log_error("Called with -verify and proof did fail!\n");
                        }
 
-                       if (0)
+                       if (0) {
                tip_success:
                        design->scratchpad_set_bool("sat.success", true);
                        if (falsify) {
                                log("\n");
                                log_error("Called with -falsify and proof did succeed!\n");
                        }
+                       }
                }
                else
                {