1 files changed, 6 insertions, 1 deletions

diff --git a/subprojects/store-query/src/main/java/tools/refinery/store/query/dnf/RelationalQuery.java b/subprojects/store-query/src/main/java/tools/refinery/store/query/dnf/RelationalQuery.java
index c1892ee1..618fb595 100644
--- a/subprojects/store-query/src/main/java/tools/refinery/store/query/dnf/RelationalQuery.java
+++ b/subprojects/store-query/src/main/java/tools/refinery/store/query/dnf/RelationalQuery.java
@@ -41,10 +41,15 @@ public final class RelationalQuery extends Query<Boolean> {
         }
 
         @Override
-        protected Query<Boolean> withDnfInternal(Dnf newDnf) {
+        protected RelationalQuery withDnfInternal(Dnf newDnf) {
                 return newDnf.asRelation();
         }
 
+        @Override
+        public RelationalQuery withDnf(Dnf newDnf) {
+                return (RelationalQuery) super.withDnf(newDnf);
+        }
+
         public CallLiteral call(CallPolarity polarity, List<NodeVariable> arguments) {
                 return getDnf().call(polarity, Collections.unmodifiableList(arguments));
         }