From 62b666992a805e149b3d5042b3e3385a75d9291f Mon Sep 17 00:00:00 2001
From: Sandy Brownlee <sbr@cs.stir.ac.uk>
Date: Wed, 31 Aug 2022 15:01:38 +0100
Subject: [PATCH] Fix for type checking error in visitDotVName

---
 .../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 c3f289f..f1802aa 100644
--- a/Triangle.Compiler/src/main/java/triangle/contextualAnalyzer/Checker.java
+++ b/Triangle.Compiler/src/main/java/triangle/contextualAnalyzer/Checker.java
@@ -681,7 +681,7 @@ public final class Checker implements ActualParameterVisitor<FormalParameter, Vo
 		ast.variable = ast.V.variable;
 		if (vType instanceof RecordTypeDenoter record) {
 			ast.type = checkFieldIdentifier(record.FT, ast.I);
-			checkAndReportError(!ast.type.equals(StdEnvironment.errorType), "no field \"%\" in this record type",
+			checkAndReportError(ast.type != StdEnvironment.errorType, "no field \"%\" in this record type",
 					ast.I);
 		} else {
 			reportError("record expected here", ast.V);