CVS difference for ai12s/ai12-0118-1.txt

Differences between 1.1 and version 1.2
Log of other versions for file ai12s/ai12-0118-1.txt

--- ai12s/ai12-0118-1.txt	2014/06/20 23:44:45	1.1
+++ ai12s/ai12-0118-1.txt	2014/06/23 23:53:23	1.2
@@ -841,7 +841,7 @@
 guarantees in terms of floating-point arithmetic. But it seems to me that there
 isn't a lot of value to changing the static case if the dynamic case is not
 guaranteed as well. Indeed, it would seem to encourage depending on things that
-mentioned in the Ada standard.
+are not required by the Ada standard.

Questions? Ask the ACAA Technical Agent