From 4de81d69a2fb1932fcdf5340e21951433ffc180d Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Tue, 12 Mar 2024 11:48:18 +0100
Subject: [PATCH] Fixed test that expected error message that is no longer
 generated

---
 src/examples/fwjava/tests.ttl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/examples/fwjava/tests.ttl b/src/examples/fwjava/tests.ttl
index 89b5a30..b229495 100644
--- a/src/examples/fwjava/tests.ttl
+++ b/src/examples/fwjava/tests.ttl
@@ -5,7 +5,7 @@ test M1 [[ class C extends Object {
 test M2 [[ class C extends Object1 {
                 C() { super(); }
            } 
-        ]] expect{ "Reference to name `Object1` cannot be resolved" }
+        ]] expect{ "Undefined class `Object1`" }
 
 test M3 [[ class C extends Object {
                 D() { super(); }