From afc2b3e760bde4f3dc68fa0c6e89b2361edd03ff Mon Sep 17 00:00:00 2001
From: Sandy Brownlee <sbr@cs.stir.ac.uk>
Date: Fri, 19 Aug 2022 17:28:49 +0100
Subject: [PATCH] bugfix

---
 .../src/main/java/triangle/contextualAnalyzer/Checker.java      | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Triangle.Compiler/src/main/java/triangle/contextualAnalyzer/Checker.java b/Triangle.Compiler/src/main/java/triangle/contextualAnalyzer/Checker.java
index d7296c7..c3f289f 100644
--- a/Triangle.Compiler/src/main/java/triangle/contextualAnalyzer/Checker.java
+++ b/Triangle.Compiler/src/main/java/triangle/contextualAnalyzer/Checker.java
@@ -204,7 +204,7 @@ public final class Checker implements ActualParameterVisitor<FormalParameter, Vo
 		var binding = ast.O.visit(this);
 
 		if (binding instanceof BinaryOperatorDeclaration bbinding) {
-			if (bbinding.ARG1.equals(StdEnvironment.anyType)) {
+			if (bbinding.ARG1 == StdEnvironment.anyType) {
 				// this operator must be "=" or "\="
 				checkAndReportError(e1Type.equals(e2Type), "incompatible argument types for \"%\"", ast.O, ast);
 			} else {