From 9472b5c86f97d61b33aa3e2ce482345d4624bb85 Mon Sep 17 00:00:00 2001
From: Daniel Holle <dholle@hb.dhbw-stuttgart.de>
Date: Mon, 25 Mar 2024 13:51:56 +0100
Subject: [PATCH] Types are weird in this one

---
 resources/bytecode/javFiles/RecordTest.jav | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/resources/bytecode/javFiles/RecordTest.jav b/resources/bytecode/javFiles/RecordTest.jav
index b758f5e4..a19d1f09 100644
--- a/resources/bytecode/javFiles/RecordTest.jav
+++ b/resources/bytecode/javFiles/RecordTest.jav
@@ -11,9 +11,9 @@ record Rec(Integer a, Integer b) {}
 }*/
 
 public class RecordTest {
-    a = new Rec(10, 20);
-    b = new Rec(10, 20);
-    c = new Rec(20, 40);
+    Rec a = new Rec(10, 20);
+    Rec b = new Rec(10, 20);
+    Rec c = new Rec(20, 40);
 
     public doesEqual() { return a.equals(b); }
     public doesNotEqual() { return b.equals(c); }