> All the reported errors look like the following two: > > exp_ch4.adb:6502:07: "Check_Float_Op_Overflow" is undefined (more > references follow) > exp_ch4.adb:6852:19: (style) misplaced "then"
That does not ring a bell, but this looks like a transient glitch (or some kind of inconsistency). I'd suggest you update to the latest version, which definitely works fine for me. Regards, Arno