| summaryrefslogtreecommitdiff |
diff options
Diffstat (limited to 'sol-pretty-printer/src/SolutionItem.java')
| -rw-r--r-- | sol-pretty-printer/src/SolutionItem.java | 1 |
1 files changed, 1 insertions, 0 deletions
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 |