1 files changed, 0 insertions, 20 deletions

diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/MergeResult.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/MergeResult.java
deleted file mode 100644
index d3a216d8..00000000
--- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/MergeResult.java
+++ /dev/null
@@ -1,20 +0,0 @@
-/*
- * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
- *
- * SPDX-License-Identifier: EPL-2.0
- */
-package tools.refinery.store.reasoning;
-
-public enum MergeResult {
-        UNCHANGED,
-        REFINED,
-        REJECTED;
-
-        public MergeResult andAlso(MergeResult other) {
-                return switch (this) {
-                        case UNCHANGED -> other;
-                        case REFINED -> other == REJECTED ? REJECTED : REFINED;
-                        case REJECTED -> REJECTED;
-                };
-        }
-}