Fix inversion of input coming from Tie0

danilovesky · Nov 12, 2024 · 5482bba · 5482bba
1 parent d85c562
commit 5482bba
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/utils/GateUtils.java b/workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/utils/GateUtils.java
@@ -549,7 +549,7 @@ private static BooleanFormula convertInputPins(VisualCircuit circuit, VisualFunc
                     trivialDriverComponent.setIsZeroDelay(true);
                 } else if (trivialDriverComponent.isTie1()) {
                     convertTie1ToTie0(circuit, trivialDriverComponent);
-                } else if (trivialDriverComponent.isTie1()) {
+                } else if (trivialDriverComponent.isTie0()) {
                     convertTie0ToTie1(circuit, trivialDriverComponent);
                 }
             }