removing a commented JML line

KeYProject · Jun 20, 2024 · 0802c3d · 0802c3d
1 parent 35ca0c2
commit 0802c3d
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/ArrayList/src/List.java b/ArrayList/src/List.java
@@ -5,7 +5,6 @@ public interface List {
 
     //@ public instance invariant \subset(\singleton(this.seq), footprint);
     //@ public instance invariant \subset(\singleton(this.footprint), footprint);
-    // @ public instance invariant (\forall int i; 0<=i && i<seq.length; \typeof(seq[i]) == \type(int));
     //@ public accessible \inv: footprint;
 
     /*@ public normal_behaviour