Minor Change

Author: rcosta358

liquidjava-verifier/pom.xml

@@ -11,7 +11,7 @@
 
 	<groupId>io.github.liquid-java</groupId>
 	<artifactId>liquidjava-verifier</artifactId>
-	<version>0.0.13</version>
+	<version>0.0.14</version>
 	<name>liquidjava-verifier</name>
 	<description>LiquidJava Verifier</description>
 	<url>https://github.com/liquid-java/liquidjava</url>

liquidjava-verifier/src/main/java/liquidjava/diagnostics/errors/RefinementError.java

@@ -27,10 +27,10 @@ public RefinementError(SourcePosition position, ValDerivationNode expected, ValD
 
     @Override
     public String getDetails() {
-        return getCounterexampleString();
+        return "Counterexample: " + getCounterExampleString();
     }
 
-    private String getCounterexampleString() {
+    public String getCounterExampleString() {
         if (counterexample == null || counterexample.assignments().isEmpty())
             return "";
 
@@ -42,7 +42,7 @@ private String getCounterexampleString() {
         if (counterexampleExp.equals(found.getValue().toString()))
             return "";
 
-        return "Counterexample: " + counterexampleExp;
+        return counterexampleExp;
     }
 
     public Counterexample getCounterexample() {