[Ada] Remove Dint (code cleanup)

[Arnaud Charlet <charlet at adacore dot com>]

This patch removes the type Dint from types.ads, which was only
used in UI_From_Dint, which was itself only used internally in
Uintp, and easily eliminated. This cleanup seems appropriate
given that Dint was not really used, and general convention is
to avoid the requirement for 64-bit host integers in C, so it
seems reasonable to follow this convention in Ada as well, and
this was the only violation. No test needed, since no functional
behavior change from this patch.

Tested on x86_64-pc-linux-gnu, committed on trunk

2010-06-22  Robert Dewar  <dewar@adacore.com>

	* types.ads: (Dint): Removed, no longer used anywhere.
	* uintp.adb (UI_From_CC): Use UI_From_Int, range is sufficient.
	(UI_Mul): Avoid use of UI_From_Dint.
	(UI_From_Dint): Removed, not used.
	* uintp.ads (UI_From_Dint): Removed, not used.
	(Uint_Min/Max_Simple_Mul): New constants.

Attachment: difs
Description: Text document