MathSAT5: add new interpolation error to whitelist.
@@ -49,7 +49,8 @@ class Mathsat5InterpolatingProver extends Mathsat5AbstractProver<Integer>
"uncolored atom found in Array proof",
"uncolorable Array proof",
"arr: proof splitting not supported",
- "AB-mixed term in LaHyp");
+ "AB-mixed term in LaHyp",
+ "AB-mixed term in LaCombImp");
private static final ImmutableSet<String> ALLOWED_FAILURE_MESSAGE_PREFIXES =
ImmutableSet.of("uncolorable NA lemma");
