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 {