summaryrefslogtreecommitdiff
path: root/src/kompsos-prelude.adb
diff options
context:
space:
mode:
authorJedidiah Barber <contact@jedbarber.id.au>2025-11-13 11:34:17 +1300
committerJedidiah Barber <contact@jedbarber.id.au>2025-11-13 11:34:17 +1300
commit60cdfe48b2f861e67e1ee8ca115aed8755e486f1 (patch)
treed0cb9392d1f3a24997e4d4aded414e22569cb673 /src/kompsos-prelude.adb
parent4fc6e07ce04c34903d31c1a4c280931650fa82f2 (diff)
Slight parameter alignment fix
Diffstat (limited to 'src/kompsos-prelude.adb')
-rw-r--r--src/kompsos-prelude.adb4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/kompsos-prelude.adb b/src/kompsos-prelude.adb
index 89cc100..896e918 100644
--- a/src/kompsos-prelude.adb
+++ b/src/kompsos-prelude.adb
@@ -209,7 +209,7 @@ package body Kompsos.Prelude is
function Append
- (This : in World;
+ (This : in World;
List_Term, Item_Term, Out_Term : in Term'Class)
return World
is
@@ -232,7 +232,7 @@ package body Kompsos.Prelude is
procedure Append
- (This : in out World;
+ (This : in out World;
List_Term, Item_Term, Out_Term : in Term'Class) is
begin
This := This.Append (List_Term, Item_Term, Out_Term);