From c42d391998eca46704c8699c90efd3c357442fb0 Mon Sep 17 00:00:00 2001
From: Kristóf Marussy <kristof@marussy.com>
Date: Mon, 26 Jun 2023 19:38:03 +0200
Subject: feat: Dnf lifting

Support for count and aggregation is still missing.
---
 .../store/query/viatra/internal/pquery/QueryWrapperFactory.java         | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'subprojects/store-query-viatra/src')

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;
-- 
cgit v1.2.3-54-g00ecf