diff --git a/src/test/contracts/loop.ligo b/src/test/contracts/loop.ligo
index f559c2816..10137c07a 100644
--- a/src/test/contracts/loop.ligo
+++ b/src/test/contracts/loop.ligo
@@ -24,25 +24,6 @@ function for_sum (var n : nat) : int is block {
     end
 } with acc 
 
-
-function lamby (var accu : (record st : string ; acc : int end) ; var i : int )
-  : (record st : string ; acc : int end) is block {
-    accu.acc := accu.acc + i ;
-    accu.st := accu.st ^ "to" ;
-} with accu
-
-function for_collection_ (var nee : unit; var nuu : unit) : (int * string) is block {
-  var acc : int := 0 ;
-  var st : string := "to" ;
-  var mylist : list(int) := list 1 ; 1 ; 1 end ;
-  var init_record : (record st : string; acc : int end ) :=
-    record st = st; acc = acc; end;
-  var folded_record : (record st : string; acc : int end ) :=
-    list_fold(mylist , init_record , lamby) ;
-  st := folded_record.st ;
-  acc := folded_record.acc ;
-} with (folded_record.acc , folded_record.st)
-
 function for_collection_list (var nee : unit) : (int * string) is block {
   var acc : int := 0 ;
   var st : string := "to" ;