From 0802c3da9411c92c814a61eb4f04cdcd45067d58 Mon Sep 17 00:00:00 2001
From: Mattias Ulbrich <ulbrich@kit.edu>
Date: Thu, 20 Jun 2024 19:52:06 +0200
Subject: [PATCH] removing a commented JML line

---
 ArrayList/src/List.java | 1 -
 1 file changed, 1 deletion(-)

diff --git a/ArrayList/src/List.java b/ArrayList/src/List.java
index f30fa12..b84d8ee 100644
--- 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