diff --git a/src/main/java/re/belv/eternity2/solver/Constraints.java b/src/main/java/re/belv/eternity2/solver/Constraints.java
index 0373310..4584001 100644
--- a/src/main/java/re/belv/eternity2/solver/Constraints.java
+++ b/src/main/java/re/belv/eternity2/solver/Constraints.java
@@ -64,7 +64,7 @@ void addExactlyOnePiecePerPositionTo(final ISolver solver) throws ContradictionE
                         positionPieceRotations.push(variables.representingPiece(rowIndex, columnIndex, pieceIndex, rotation));
                     }
                     final int positionPiece = solver.nextFreeVarId(true);
-                    gator.xor(positionPiece, positionPieceRotations);
+                    gator.or(positionPiece, positionPieceRotations);
                     positionPieces.push(positionPiece);
                 }
                 solver.addExactly(positionPieces, 1);