simplify

o1-labs · Jun 17, 2024 · 1e29577 · 1e29577
1 parent 3580bd1
commit 1e29577
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/ocaml/lib/pickles_bindings.ml b/ocaml/lib/pickles_bindings.ml
@@ -314,9 +314,7 @@ module Choices = struct
               ~f:(function
               | Some true ->
                   true
-              | Some false ->
-                  false
-              | None ->
+              | _ ->
                   false )
         ; prevs
         ; main