| summaryrefslogtreecommitdiff |
diff options
| author | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-08-04 12:47:30 +0200 |
|---|---|---|
| committer | Nathanael Sensfelder <SpamShield0@MultiAgentSystems.org> | 2017-08-04 12:47:30 +0200 |
| commit | d18ca72caf2004c7725b3de670c7397c5bf85eb4 (patch) | |
| tree | ce0d95cd60f2e9bac26015e645e4f33c165b8713 /sol-pretty-printer/src/Solutions.java | |
| parent | c4914a0649090b4784b72909eab53ea01e20a93e (diff) | |
For some reason, CNE_01700 no longer works.improved_makefiles
Diffstat (limited to 'sol-pretty-printer/src/Solutions.java')
| -rw-r--r-- | sol-pretty-printer/src/Solutions.java | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/sol-pretty-printer/src/Solutions.java b/sol-pretty-printer/src/Solutions.java index 38a426a..0129794 100644 --- a/sol-pretty-printer/src/Solutions.java +++ b/sol-pretty-printer/src/Solutions.java @@ -84,7 +84,8 @@ public class Solutions + me.getKey().toUpperCase() + "$" ), - Strings.get_string_from_id(me.getValue()) + /* FIXME */ + (Strings.get_string_from_id(me.getValue()) == null) ? "null" : Strings.get_string_from_id(me.getValue()) ); } } |