[multiple changes]

[gcc.git] / gcc / ada / a-cdlili.adb

diff --git a/gcc/ada/a-cdlili.adb b/gcc/ada/a-cdlili.adb
index ef02e460cceb6a5917cce0bdb8c0651a187d6be6..497a1112d435b1c3fdc8f75d294b4f9bff323118 100644 (file)
--- a/gcc/ada/a-cdlili.adb
+++ b/gcc/ada/a-cdlili.adb
@@ -1890,21 +1890,23 @@ package body Ada.Containers.Doubly_Linked_Lists is
             return False;
          end if;
 
-         if Position.Node = L.First then  -- eliminates earlier disjunct
+         --  Eliminate earlier disjunct
+
+         if Position.Node = L.First then
             return True;
          end if;
 
-         --  If we get here, we know, per disjunctive syllogism (modus
-         --  tollendo ponens), that this predicate is true:
-         --  Position.Node.Prev /= null
+         --  If we get here, we know (disjunctive syllogism) that this
+         --  predicate is true: Position.Node.Prev /= null
+
+         --  Eliminate earlier disjunct
 
-         if Position.Node = L.Last then  -- eliminates earlier disjunct
+         if Position.Node = L.Last then
             return True;
          end if;
 
-         --  If we get here, we know, per disjunctive syllogism (modus
-         --  tollendo ponens), that this predicate is true:
-         --  Position.Node.Next /= null
+         --  If we get here, we know (disjunctive syllogism) that this
+         --  predicate is true: Position.Node.Next /= null
 
          if Position.Node.Next.Prev /= Position.Node then
             return False;