1 files changed, 3 insertions, 3 deletions

diff --git a/subprojects/language/src/main/java/tools/refinery/language/utils/BuiltinSymbols.java b/subprojects/language/src/main/java/tools/refinery/language/utils/BuiltinSymbols.java
index c8c7fd4a..c87fa044 100644
--- a/subprojects/language/src/main/java/tools/refinery/language/utils/BuiltinSymbols.java
+++ b/subprojects/language/src/main/java/tools/refinery/language/utils/BuiltinSymbols.java
@@ -7,7 +7,7 @@ package tools.refinery.language.utils;
 
 import tools.refinery.language.model.problem.*;
 
-public record BuiltinSymbols(Problem problem, ClassDeclaration node, ReferenceDeclaration equals,
-                                                         PredicateDefinition exists, PredicateDefinition contained, PredicateDefinition contains,
-                                                         PredicateDefinition root) {
+public record BuiltinSymbols(Problem problem, ClassDeclaration node, PredicateDefinition equals,
+                                                         PredicateDefinition exists, ClassDeclaration contained, PredicateDefinition contains,
+                                                         PredicateDefinition invalidContainer) {
 }