From c10c294f6cee7326c80e5a0ed0f57ce2eb1e565f Mon Sep 17 00:00:00 2001
From: Tristan Gingold <tgingold@free.fr>
Date: Sat, 30 Jul 2022 09:14:15 +0200
Subject: psl-nodes: add comments

---
 src/psl/psl-nodes.ads | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/psl/psl-nodes.ads b/src/psl/psl-nodes.ads
index 378212349..29a1943f4 100644
--- a/src/psl/psl-nodes.ads
+++ b/src/psl/psl-nodes.ads
@@ -360,8 +360,10 @@ package PSL.Nodes is
    -- N_Until (Short)
    -- N_Before (Short)
    --
+   --  True for the ! variant.
    --   Get/Set_Strong_Flag (Flag1)
    --
+   --  True for the _ variant.
    --   Get/Set_Inclusive_Flag (Flag2)
    --
    --   Get/Set_Left (Field1)
-- 
cgit v1.2.3