Update dinitz.c

src/dinitz.c

@@ -70,7 +70,7 @@ double DFS (int cur, int end, double **graph, int *levels, int *visited, double
         return flow;
     }
     visited[cur] = 1;
-    /*@ loop invariant 0 <= i <= end + 1;
+    /*@ loop invariant 0 <= i <= end;
       @ loop invariant 0 <= flow <= DBL_MAX;
       @ loop assigns i, graph[0..end][0..end], visited[0..end];
       @ loop variant end - i;