1 files changed, 0 insertions, 16 deletions

diff --git a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/lifting/ModalDnf.java b/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/lifting/ModalDnf.java
deleted file mode 100644
index 16fb8fbf..00000000
--- a/subprojects/store-reasoning/src/main/java/tools/refinery/store/reasoning/lifting/ModalDnf.java
+++ /dev/null
@@ -1,16 +0,0 @@
-/*
- * SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
- *
- * SPDX-License-Identifier: EPL-2.0
- */
-package tools.refinery.store.reasoning.lifting;
-
-import tools.refinery.store.query.dnf.Dnf;
-import tools.refinery.store.reasoning.literal.Modality;
-
-record ModalDnf(Modality modality, Dnf dnf) {
-        @Override
-        public String toString() {
-                return "%s %s".formatted(modality, dnf.name());
-        }
-}