Another reversal
@@ -57,12 +57,7 @@ public final class SmtInterpolSolverContext extends AbstractSolverContext {
SmtInterpolArrayFormulaManager arrayTheory = new SmtInterpolArrayFormulaManager(creator);
SmtInterpolFormulaManager manager =
new SmtInterpolFormulaManager(
- creator,
- functionTheory,
- booleanTheory,
- integerTheory,
- rationalTheory,
- arrayTheory);
+ creator, functionTheory, booleanTheory, integerTheory, rationalTheory, arrayTheory);
return new SmtInterpolSolverContext(creator, manager);
}
