diff options
Diffstat (limited to 'src/psl/psl-nodes.ads')
| -rw-r--r-- | src/psl/psl-nodes.ads | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/psl/psl-nodes.ads b/src/psl/psl-nodes.ads index 07d4f7df6..c92af81dc 100644 --- a/src/psl/psl-nodes.ads +++ b/src/psl/psl-nodes.ads @@ -99,6 +99,7 @@ package PSL.Nodes is N_Name, N_Name_Decl, + N_Inf, N_Number ); for Nkind'Size use 8; @@ -253,6 +254,8 @@ package PSL.Nodes is -- -- Get/Set_Chain (Field2) + -- N_Inf (Short) + -- N_Number (Short) -- -- Get/Set_Value (Field1) |