diff options
Diffstat (limited to 'src/kompsos-prelude.adb')
| -rw-r--r-- | src/kompsos-prelude.adb | 4 |
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); |