refactor: clean up Symbol constructor

Shorthad syntax for the most commonly used symbol types.

1 files changed, 2 insertions, 2 deletions

diff --git a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java
index 41b4fcb0..06b8ad77 100644
--- a/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java
+++ b/subprojects/language-semantics/src/main/java/tools/refinery/language/semantics/model/ModelInitializer.java
@@ -44,8 +44,8 @@ public class ModelInitializer {
                         var isEqualsRelation = relation == builtinSymbols.equals();
                         var decisionTree = mergeAssertions(relationInfo, isEqualsRelation);
                         var defaultValue = isEqualsRelation ? TruthValue.FALSE : TruthValue.UNKNOWN;
-                        relationTrace.put(relation, new Symbol<>(relationInfo.name(), relationInfo.arity(), TruthValue.class, defaultValue
-                        ));
+                        relationTrace.put(relation, Symbol.of(
+                                        relationInfo.name(), relationInfo.arity(), TruthValue.class, defaultValue));
                 }
         }