Display the message from the wrapped exception (runtimeverification#335)

hmijail · dwightguth · commit b56ee71e9cb8 · 2017-01-12T11:00:32.000-06:00
diff --git a/kore/src/main/java/org/kframework/utils/errorsystem/KException.java b/kore/src/main/java/org/kframework/utils/errorsystem/KException.java
@@ -99,6 +99,7 @@ public String toString() {
 
     public String toString(boolean verbose) {
         return "[" + types.get(type) + "] " + labels.get(exceptionGroup) + ": " + message
+                + (exception == null ? "" : " (" + exception.getMessage() + ")")
                 + trace.toString() + traceTail()
                 + (source == null ? "" : "\n\t" + source)
                 + (location == null ? "" : "\n\t" + location)
