mirror of
https://github.com/Mercury-Language/mercury.git
synced 2025-12-06 07:49:02 +00:00
Shift a NEWS entry.
NEWS:
As above.
This commit is contained in:
3
NEWS
3
NEWS
@@ -12,6 +12,9 @@ This is a bug-fix release.
|
||||
* We have fixed a bug that was causing some transitive intermodule
|
||||
optimization interfaces to be silently ignored.
|
||||
|
||||
* We have fixed a bug where termination analysis could cause a compiler abort
|
||||
when invoked on some rarely-occurring predicate structures.
|
||||
|
||||
NEWS for Mercury 22.01.4
|
||||
========================
|
||||
|
||||
|
||||
Reference in New Issue
Block a user