1 files changed, 0 insertions, 10 deletions

diff --git a/subprojects/store-query/src/main/java/tools/refinery/store/query/substitution/CompositeSubstitution.java b/subprojects/store-query/src/main/java/tools/refinery/store/query/substitution/CompositeSubstitution.java
deleted file mode 100644
index f8064ca2..00000000
--- a/subprojects/store-query/src/main/java/tools/refinery/store/query/substitution/CompositeSubstitution.java
+++ /dev/null
@@ -1,10 +0,0 @@
-package tools.refinery.store.query.substitution;
-
-import tools.refinery.store.query.term.Variable;
-
-public record CompositeSubstitution(Substitution first, Substitution second) implements Substitution {
-        @Override
-        public Variable getSubstitute(Variable variable) {
-                return second.getSubstitute(first.getSubstitute(variable));
-        }
-}