% small error

2023-08-01 19:27:19 +03:00 · 2023-08-01 19:27:19 +03:00 · f199711eee
parent 917b1a38f3
commit f199711eee
1 changed files with 2 additions and 0 deletions
--- a/source/base/video-integer_geometry.ads
+++ b/source/base/video-integer_geometry.ads
@ -9,6 +9,8 @@ package Video.Integer_Geometry with Pure is
 		if Coordinate'Last > Coordinate'Base'Last + Coordinate'First then
 			Coordinate'Base'Last else Coordinate'Last - Coordinate'First);

+	subtype Positive_Distance is Distance range 1 .. Distance'Last;
+
 	type Point is record
 		X, Y : Coordinate;
 	end record;