--- ai05s/ai05-0177-1.txt 2011/01/03 20:00:59 1.7 +++ ai05s/ai05-0177-1.txt 2011/01/25 08:00:08 1.8 @@ -203,7 +203,7 @@ Examples function Is_Origin (P : in Point) return Boolean is -- see 3.9 - (P.X = 0 and P.Y = 0); + (P.X = 0.0 and P.Y = 0.0); Add new bullet after 7.5(2.8/2):