comment saying t:=ending should be ghost code

mkf · Jan 7, 2020 · 0ef34d6 · 0ef34d6
1 parent 3d0fa35
commit 0ef34d6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/asdanaglib.adb b/src/asdanaglib.adb
@@ -91,7 +91,7 @@ is
                j := i + 1;
             end if;
             if j = t then
-               t := ending;
+               t := ending; -- should be ghost code
                exit theLoop;
             end if;
             swap (s, t, j);