1 files changed, 1 insertions, 1 deletions

diff --git a/subprojects/store-query/src/test/java/tools/refinery/store/query/dnf/DnfBuilderLiteralEliminationTest.java b/subprojects/store-query/src/test/java/tools/refinery/store/query/dnf/DnfBuilderLiteralEliminationTest.java
index 687b06db..e17496e3 100644
--- a/subprojects/store-query/src/test/java/tools/refinery/store/query/dnf/DnfBuilderLiteralEliminationTest.java
+++ b/subprojects/store-query/src/test/java/tools/refinery/store/query/dnf/DnfBuilderLiteralEliminationTest.java
@@ -25,7 +25,7 @@ import static tools.refinery.store.query.literal.Literals.not;
 import static tools.refinery.store.query.tests.QueryMatchers.structurallyEqualTo;
 
 class DnfBuilderLiteralEliminationTest {
-        private final Symbol<Boolean> friend = new Symbol<>("friend", 2, Boolean.class, false);
+        private final Symbol<Boolean> friend = Symbol.of("friend", 2);
         private final SymbolView<Boolean> friendView = new KeyOnlyView<>(friend);
         private final NodeVariable p = Variable.of("p");
         private final NodeVariable q = Variable.of("q");