From 190107c17a000a97477d0746be0246f5f2f2eefe Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Wed, 11 Dec 2024 18:00:09 +0100
Subject: [PATCH] this is what breaks it, somehow

---
 frontends/ast/simplify.cc | 14 +++++++-------
 1 file changed, 7 insertions(+), 7 deletions(-)

diff --git a/frontends/ast/simplify.cc b/frontends/ast/simplify.cc
index 475f27cdf..b00cde28e 100644
--- a/frontends/ast/simplify.cc
+++ b/frontends/ast/simplify.cc
@@ -2777,13 +2777,13 @@ bool AstNode::simplify(bool const_fold, int stage, int width_hint, bool sign_hin
 				mux_input = new AstNode(AST_BIT_NOT, mux_input);
 			}
 			AstNode *node = new AstNode(AST_TERNARY, children_list.at(2));
-			// if (str == "bufif0") {
-			// 	node->children.push_back(AstNode::mkconst_bits(z_const, false));
-			// 	node->children.push_back(mux_input);
-			// } else {
-			// 	node->children.push_back(mux_input);
-			// 	node->children.push_back(AstNode::mkconst_bits(z_const, false));
-			// }
+			if (str == "bufif0") {
+				node->children.push_back(AstNode::mkconst_bits(z_const, false));
+				node->children.push_back(mux_input);
+			} else {
+				node->children.push_back(mux_input);
+				node->children.push_back(AstNode::mkconst_bits(z_const, false));
+			}
 
 			str.clear();
 			type = AST_ASSIGN;