diff --git a/docs/ReleaseNotes.html b/docs/ReleaseNotes.html index ae01c96b22a..6119e7cea33 100644 --- a/docs/ReleaseNotes.html +++ b/docs/ReleaseNotes.html @@ -822,8 +822,9 @@ be used to verify some algorithms. represents floating point multiply accumulate operations without an intermediate rounding stage.
__builtin_expect
from GNU C).