From 16a9b534adec2c53b50f92a43c1623918b1c59c0 Mon Sep 17 00:00:00 2001 From: Kristóf Marussy Date: Thu, 7 Mar 2024 22:10:42 +0100 Subject: refactor: move terms and DNF into logic subproject --- .../tools/refinery/store/dse/transition/callback/ActionCallback2.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/callback/ActionCallback2.java') diff --git a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/callback/ActionCallback2.java b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/callback/ActionCallback2.java index a648fc93..1361482d 100644 --- a/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/callback/ActionCallback2.java +++ b/subprojects/store-dse/src/main/java/tools/refinery/store/dse/transition/callback/ActionCallback2.java @@ -6,7 +6,7 @@ package tools.refinery.store.dse.transition.callback; import tools.refinery.store.dse.transition.actions.ActionLiteral; -import tools.refinery.store.query.term.NodeVariable; +import tools.refinery.logic.term.NodeVariable; import java.util.List; -- cgit v1.2.3-54-g00ecf