diff --git a/src/main/java/ca/mcscert/jtet/expression/BinaryOperation.java b/src/main/java/ca/mcscert/jtet/expression/BinaryOperation.java
index 744d9ffb09e598993ec398da28b8ddac3920c132..4c1c07b52c8d41f195258fda40a308e573ec1547 100644
--- a/src/main/java/ca/mcscert/jtet/expression/BinaryOperation.java
+++ b/src/main/java/ca/mcscert/jtet/expression/BinaryOperation.java
@@ -53,7 +53,7 @@ public enum BinaryOperation {
                 return Arrays.asList(new TypeMarker[]{RealType.Type, FixedPointType.TypeMarker});
             case Equals:
             case NotEquals:
-                return Arrays.asList(new TypeMarker[]{RealType.Type, FixedPointType.TypeMarker, EnumerationType.TypeMarker});
+                return Arrays.asList(new TypeMarker[]{BooleanType.Type, RealType.Type, FixedPointType.TypeMarker, EnumerationType.TypeMarker});
         }
         return Arrays.asList(new TypeMarker[]{outputType});
     }