1 files changed, 1 insertions, 1 deletions

diff --git a/subprojects/store/src/main/java/tools/refinery/store/query/ModelQueryStoreAdapter.java b/subprojects/store/src/main/java/tools/refinery/store/query/ModelQueryStoreAdapter.java
index ef5a4587..3efeacaa 100644
--- a/subprojects/store/src/main/java/tools/refinery/store/query/ModelQueryStoreAdapter.java
+++ b/subprojects/store/src/main/java/tools/refinery/store/query/ModelQueryStoreAdapter.java
@@ -9,7 +9,7 @@ import java.util.Collection;
 public interface ModelQueryStoreAdapter extends ModelStoreAdapter {
         Collection<AnyRelationView> getRelationViews();
 
-        Collection<DNF> getQueries();
+        Collection<Dnf> getQueries();
 
         @Override
         ModelQueryAdapter createModelAdapter(Model model);