formatting

Author: kfriedberger

src/org/sosy_lab/java_smt/solvers/cvc5/CVC5InterpolatingProver.java

@@ -105,7 +105,7 @@ public List<BooleanFormula> getSeqInterpolants(List<? extends Collection<String>
       Collection<Term> formulasA =
           FluentIterable.from(partitions.get(i - 1))
               .transform(assertedTerms.peek()::get)
-              .append(new Term[]{previousItp}) // class Term is Iterable<Term>, be careful here
+              .append(new Term[] {previousItp}) // class Term is Iterable<Term>, be careful here
               .toSet();
       Collection<Term> formulasB =
           FluentIterable.concat(partitions.subList(i, n))