--- acats/new/b35a001.a 2017/03/31 03:56:14 1.2 +++ acats/new/b35a001.a 2017/04/01 01:09:03 1.3 @@ -147,7 +147,7 @@ Def_Small : constant Float; -- POSSIBLE ERROR: [Set06] (F) {7;1} -- Resolution recheck here. - private -- POSSIBLE ERROR: [Set07] (H) {1:7;1} + private -- POSSIBLE ERROR: [Set07] (H) {1:7;0} Hidden_Small : constant := 1.0/8.0; -- POSSIBLE ERROR: [Set04] (D) {1:7;1}