diff --git a/src/data/CCBV.ml b/src/data/CCBV.ml
index b0fa445c..793eb456 100644
--- a/src/data/CCBV.ml
+++ b/src/data/CCBV.ml
@@ -257,17 +257,21 @@ let iter bv f =
     [30; 100; 255; 256;10_000]
 *)
 
+(*$inject
+  let seq_zip s k = s (fun x y -> k(x,y))
+*)
+
 (*$= & ~printer:Q.Print.(list (pair int bool))
-  [] (iter (create ~size:0 false) |> Sequence.zip |> Sequence.to_list)
+  [] (iter (create ~size:0 false) |> seq_zip |> Sequence.to_list)
   [0, false; 1, true; 2, false] \
-    (iter (let bv = create ~size:3 false in set bv 1; bv) |> Sequence.zip |> Sequence.to_list)
+    (iter (let bv = create ~size:3 false in set bv 1; bv) |> seq_zip |> Sequence.to_list)
 *)
 
 (*$Q
   Q.(small_int) (fun n -> \
     assert (n >= 0); \
     let bv = create ~size:n true in \
-    let l = iter bv |> Sequence.zip |> Sequence.to_list in \
+    let l = iter bv |> seq_zip |> Sequence.to_list in \
     List.length l = n && List.for_all (fun (_,b) -> b) l)
 *)