update SMTInterpol to 2.5-1242-g5c50fb6d

This solver library (and especially its internal dependencies) is intended to be API-compatible with LassoRanker in CPAchecker.
sosy-lab · Oct 8, 2022 · 6f6e55b · 6f6e55b
1 parent efb3447
commit 6f6e55b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/ivy.xml b/lib/ivy.xml
@@ -143,7 +143,7 @@ SPDX-License-Identifier: Apache-2.0
         <dependency org="com.puppycrawl.tools" name="checkstyle" rev="10.2" conf="checkstyle->default"/>
 
         <!-- SmtInterpol -->
-        <dependency org="de.uni-freiburg.informatik.ultimate" name="smtinterpol" rev="2.5-1147-g108647d8" conf="runtime-smtinterpol->master; contrib->sources"/>
+        <dependency org="de.uni-freiburg.informatik.ultimate" name="smtinterpol" rev="2.5-1242-g5c50fb6d" conf="runtime-smtinterpol->master; contrib->sources"/>
 
         <!-- Princess for our Maven release -->
         <dependency org="io.github.uuverifiers" name="princess_2.13" rev="2022-07-01" conf="runtime-princess-with-javacup->default; contrib->sources"/>