> 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

Reply via email to