Add missing Changelog entry about soljson.js build changes.

This commit is contained in:
Daniel Kirchner 2020-05-14 21:38:43 +02:00
parent f1af29f149
commit e5da635c0c

View File

@ -4,6 +4,7 @@ Language Features:
Compiler Features:
* Build system: Update the soljson.js build to emscripten 1.39.15 and boost 1.73.0 and include Z3 for integrated SMTChecker support without the callback mechanism.
Bugfixes: