2 files changed, 3 insertions, 3 deletions

diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/base/BaseDecisionTranslationUnit.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/base/BaseDecisionTranslationUnit.java
index 405e58ac..a1e4b816 100644
--- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/base/BaseDecisionTranslationUnit.java
+++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/base/BaseDecisionTranslationUnit.java
@@ -29,7 +29,7 @@ public class BaseDecisionTranslationUnit extends TranslationUnit {
                 }
                 this.partialRelation = partialRelation;
                 this.seed = seed;
-                symbol = new Symbol<>(partialRelation.name(), partialRelation.arity(), TruthValue.class, TruthValue.UNKNOWN);
+                symbol = Symbol.of(partialRelation.name(), partialRelation.arity(), TruthValue.class, TruthValue.UNKNOWN);
         }
 
         public BaseDecisionTranslationUnit(PartialRelation partialRelation) {
diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyTranslationUnit.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyTranslationUnit.java
index e1aa2014..06e3c05f 100644
--- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyTranslationUnit.java
+++ b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/translator/typehierarchy/TypeHierarchyTranslationUnit.java
@@ -16,8 +16,8 @@ import java.util.List;
 import java.util.Map;
 
 public class TypeHierarchyTranslationUnit extends TranslationUnit {
-        static final Symbol<InferredType> INFERRED_TYPE_SYMBOL = new Symbol<>("inferredType", 1,
-                        InferredType.class, InferredType.UNTYPED);
+        static final Symbol<InferredType> INFERRED_TYPE_SYMBOL = Symbol.of(
+                        "inferredType", 1, InferredType.class, InferredType.UNTYPED);
 
         private final TypeAnalyzer typeAnalyzer;