feat: Dnf lifting

Support for count and aggregation is still missing.

1 files changed, 1 insertions, 1 deletions

diff --git a/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/pquery/QueryWrapperFactory.java b/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/pquery/QueryWrapperFactory.java
index 2b7280f2..502813e1 100644
--- a/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/pquery/QueryWrapperFactory.java
+++ b/subprojects/store-query-viatra/src/main/java/tools/refinery/store/query/viatra/internal/pquery/QueryWrapperFactory.java
@@ -33,7 +33,7 @@ class QueryWrapperFactory {
         private final Dnf2PQuery dnf2PQuery;
         private final Map<AnySymbolView, SymbolViewWrapper> view2WrapperMap = new LinkedHashMap<>();
         private final CycleDetectingMapper<RemappedConstraint, RawPQuery> wrapConstraint = new CycleDetectingMapper<>(
-                        RemappedConstraint::toString, this::doWrapConstraint);
+                        this::doWrapConstraint);
 
         QueryWrapperFactory(Dnf2PQuery dnf2PQuery) {
                 this.dnf2PQuery = dnf2PQuery;