update Changelog with more info about breaking changes.

sosy-lab · Oct 3, 2021 · 7ea1c08 · 7ea1c08
1 parent 0ce49fe
commit 7ea1c08
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -14,6 +14,12 @@ SPDX-License-Identifier: Apache-2.0
 
 This release comes with support for multiple prover stacks in SMTInterpol.
 
+### Breaking change:
+Users might have accessed the public class `SmtInterpolEnvironment` for direct interaction with SMTInterpol.
+We replace the class `org.sosy_lab.java_smt.solvers.smtinterpol.SmtInterpolEnvironment`
+with the class `de.uni_freiburg.informatik.ultimate.logic.Script`,
+which provides a similar interface and also allows direct interaction with SMTInterpol.
+
 ### Updated solvers:
  - SMTInterpol 2.5-916-ga5843d8b
  - Boolector 3.2.2