SMTInterpol: update to version 2.5-916.
The new version of SMTInterpol is shipped an updated 'jh-javacup-1.2 20210807'.
For discussion about problems in CPAchecker about redundant dependency classes,
see .
@@ -143,7 +143,7 @@ SPDX-License-Identifier: Apache-2.0
<dependency org="com.puppycrawl.tools" name="checkstyle" rev="8.45.1" conf="checkstyle->default"/>
<!-- SmtInterpol -->
- <dependency org="de.uni-freiburg.informatik.ultimate" name="smtinterpol" rev="2.5-842-gfcd46532" conf="runtime-smtinterpol->master; contrib->sources"/>
+ <dependency org="de.uni-freiburg.informatik.ultimate" name="smtinterpol" rev="2.5-916-ga5843d8b" conf="runtime-smtinterpol->master; contrib->sources"/>
<!-- Princess for our Maven release -->
<dependency org="io.github.uuverifiers" name="princess_2.13" rev="2021-08-12" conf="runtime-princess-with-javacup->default; contrib->sources"/>
