diff --git a/workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/utils/GateUtils.java b/workcraft/CircuitPlugin/src/org/workcraft/plugins/circuit/utils/GateUtils.java index c7670b969..88f260ec5 100644 --- 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); } }