From 158adf837a7a34284c5f19b61631a35a049c2603 Mon Sep 17 00:00:00 2001
From: "pl@gohorb.ba-horb.de" <pl@gohorb.ba-horb.de>
Date: Thu, 21 Nov 2024 14:55:52 +0100
Subject: [PATCH] 	modified:  
 resources/bytecode/javFiles/PatternMatchingListAppend.jav

---
 resources/bytecode/javFiles/PatternMatchingListAppend.jav | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resources/bytecode/javFiles/PatternMatchingListAppend.jav b/resources/bytecode/javFiles/PatternMatchingListAppend.jav
index dfbf3918..3fa186db 100644
--- a/resources/bytecode/javFiles/PatternMatchingListAppend.jav
+++ b/resources/bytecode/javFiles/PatternMatchingListAppend.jav
@@ -4,7 +4,7 @@ import java.lang.Object;
 sealed interface List<T> permits Cons, Empty {}
 
 public record Cons<T>(T a, List<T> l) implements List<T> {}
-public record Empty() implements List<Object> {}
+public record Empty<T>() implements List<T> {}
 
 public class PatternMatchingListAppend {