diff options
Diffstat (limited to 'src/psl/psl-nodes.ads')
-rw-r--r-- | src/psl/psl-nodes.ads | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/psl/psl-nodes.ads b/src/psl/psl-nodes.ads index eb0ad4cb3..9418ae78a 100644 --- a/src/psl/psl-nodes.ads +++ b/src/psl/psl-nodes.ads @@ -460,7 +460,7 @@ package PSL.Nodes is -- General methods. - procedure Init; + procedure Init (Loc : Location_Type); -- Get the number of the last node. -- To be used to size lateral tables. |