test: fix the dummy init implementation

RedPRL · Oct 20, 2023 · cc45965 · cc45965
1 parent 10bec85
commit cc45965
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/test/ListAsBwdLabels.ml b/test/ListAsBwdLabels.ml
@@ -20,7 +20,7 @@ let nth_opt xs i =
   | Invalid_argument _ -> invalid_arg "Bwd.nth_opt"
 
 let init ~len ~f =
-  try L.init ~len ~f:(fun i -> f ((len-1) - i)) with
+  try L.rev (L.init ~len ~f) with
   | Invalid_argument _ -> invalid_arg "Bwd.init"
 
 let append xs ys = xs @ ys