Formatting

Author: rcosta358

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

@@ -42,12 +42,10 @@ public String getCounterExampleString() {
 
         // filter out assignments of variables that do not appear in the found value
         String foundValue = found.getValue().toString();
-        List<String> relevantAssignments = counterexample.assignments().stream()
-                .filter(a -> {
-                    String varName = a.contains(" == ") ? a.substring(0, a.indexOf(" == ")).trim() : a;
-                    return foundValue.contains(varName);
-                })
-                .collect(Collectors.toList());
+        List<String> relevantAssignments = counterexample.assignments().stream().filter(a -> {
+            String varName = a.contains(" == ") ? a.substring(0, a.indexOf(" == ")).trim() : a;
+            return foundValue.contains(varName);
+        }).collect(Collectors.toList());
 
         if (relevantAssignments.isEmpty())
             return null;

liquidjava-verifier/src/main/java/liquidjava/processor/context/Context.java

@@ -85,7 +85,7 @@ public Map<String, CtTypeReference<?>> getContext() {
             ret.put(var.getName(), var.getType());
         return ret;
     }
-    
+
     // ---------------------- Global variables ----------------------
     public void addGlobalVariableToContext(String simpleName, String location, CtTypeReference<?> type, Predicate c) {
         RefinedVariable vi = new Variable(simpleName, location, type, c);