From: Bogdan Vukobratovic <bogdan.vukobratovic@gmail.com>
Date: Tue, 28 May 2019 13:45:04 +0000 (+0200)
Subject: Fix the regression
X-Git-Tag: working-ls180~1239^2~4^2~9
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=29a78267d7c84699bdcebfa87719b31d9b65909b;p=yosys.git

Fix the regression
---

diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc
index 453ae8cca..4492fc2b7 100644
--- 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
 		{