Updated list.sc

sireum · Mar 18, 2024 · 5188951 · 5188951
1 parent 6578b62
commit 5188951
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/jvm/src/test/scala/org/sireum/logika/example/list.sc b/jvm/src/test/scala/org/sireum/logika/example/list.sc
@@ -107,6 +107,7 @@ object List {
     }
   }
 
+  /*
   @pure def emptyZeroLengthInduct[T](l: List[T]): Unit = {
     Contract(
       Ensures(l.length >= 0)
@@ -135,6 +136,7 @@ object List {
       }
     }
   }
+  */
 
   type Map[K, V] = List[(K, V)]