diff --git a/ocaml/out/samples b/ocaml/out/samples
index cfcf0523..b8953450 100755
Binary files a/ocaml/out/samples and b/ocaml/out/samples differ
diff --git a/ocaml/out/samples.cmi b/ocaml/out/samples.cmi
index 6996b2b9..df5b7e9d 100644
Binary files a/ocaml/out/samples.cmi and b/ocaml/out/samples.cmi differ
diff --git a/ocaml/out/samples.cmx b/ocaml/out/samples.cmx
index 96df28d3..e71ce6b1 100644
Binary files a/ocaml/out/samples.cmx and b/ocaml/out/samples.cmx differ
diff --git a/ocaml/out/samples.o b/ocaml/out/samples.o
index 0c9763e3..6650a2f3 100644
Binary files a/ocaml/out/samples.o and b/ocaml/out/samples.o differ
diff --git a/ocaml/samples.ml b/ocaml/samples.ml
index 267f0858..3da7e583 100644
--- a/ocaml/samples.ml
+++ b/ocaml/samples.ml
@@ -36,12 +36,13 @@ let findIndex xs test =
 
 let rec unwind xs = 
   match xs with
+  | [] -> Some([])
+  | None :: ys -> None
   | Some(y) :: ys -> (
       match unwind ys with
       | Some(zs) -> Some(y :: zs)
       | None -> None
     )
-  | None :: ys -> None
 
 (* Basic samplers *)
 let sampleZeroToOne () : float = Random.float 1.0