X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=ocaml%2Futil.ml;h=a87b96f920c199bfcf1fd75fdd114b5f992ae8e9;hb=87e0182247e9176ec3612eaf3c7f90b81f43b6f5;hp=a4af2dd2b01d4532657e5c2249c571a7f989be23;hpb=e4aa4a66dd0a4946607245a0f43eab803f2770c4;p=fireball-separation.git

diff --git a/ocaml/util.ml b/ocaml/util.ml
index a4af2dd..a87b96f 100644
--- a/ocaml/util.ml
+++ b/ocaml/util.ml
@@ -14,6 +14,11 @@ let option_map f = function
  | Some x -> Some (f x)
 ;;
 
+let option_get = function
+ | Some x -> x
+ | None -> failwith "option_get: None"
+;;
+
 let rec find_opt f =
  function
     [] -> None