diff --git a/core/src/main/java/fj/test/CheckResult.java b/core/src/main/java/fj/test/CheckResult.java index b5b90685..fe3ca92a 100644 --- a/core/src/main/java/fj/test/CheckResult.java +++ b/core/src/main/java/fj/test/CheckResult.java @@ -286,7 +286,7 @@ else if (r.isPropException()) { public static Show summaryEx(final Show> sa) { return showS(new F() { public String f(final CheckResult r) { - final String s = summary(sa).show(r).toString(); + final String s = summary(sa).showS(r); if (r.isProven() || r.isPassed() || r.isExhausted()) return s; else if (r.isFalsified() || r.isPropException() || r.isGenException())