From 0fc661ebabdf55b8e0d26c4f85f0547c106b6549 Mon Sep 17 00:00:00 2001 From: Nathanael Sensfelder Date: Thu, 21 Sep 2017 15:26:01 +0200 Subject: Got some property dependencies to work. --- sol-pretty-printer/src/SolutionItem.java | 1 + 1 file changed, 1 insertion(+) (limited to 'sol-pretty-printer/src/SolutionItem.java') diff --git a/sol-pretty-printer/src/SolutionItem.java b/sol-pretty-printer/src/SolutionItem.java index f251b62..7b23061 100644 --- a/sol-pretty-printer/src/SolutionItem.java +++ b/sol-pretty-printer/src/SolutionItem.java @@ -29,6 +29,7 @@ public class SolutionItem } FROM_ID.put(wfm_id, si); + si.function_values.put("wfm_id", wfm_id); } public static void handle_unary_set_function -- cgit v1.2.3-70-g09d2