Fix position info for equality expr errors (#3429)

KeYProject · Feb 22, 2024 · 563cba5 · 563cba5
2 parents 1fb0c10 + 0e66dd9
commit 563cba5
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/key.core/src/main/java/de/uka/ilkd/key/speclang/njml/Translator.java b/key.core/src/main/java/de/uka/ilkd/key/speclang/njml/Translator.java
@@ -573,6 +573,7 @@ public SLExpression visitEqualityexpr(JmlParser.EqualityexprContext ctx) {
             if (floatResult != null) {
                 return floatResult;
             }
+            exc.updatePosition(ctx.getStart());
             if (tok.getText().equals("==")) {
                 result = termFactory.eq(result, expr.get(i));
             } else {

diff --git a/key.core/src/test/resources/de/uka/ilkd/key/speclang/njml/exceptional/TypeError.java b/key.core/src/test/resources/de/uka/ilkd/key/speclang/njml/exceptional/TypeError.java
@@ -1,8 +1,7 @@
 // exceptionClass: RuntimeException
 // msgContains: Error in equality-expression
-// position: 12/17
+// position: 11/19
 // verbose: true
-// broken: true
 
 // It's not the best of error messages ...
 // and there is no file location information