X-Git-Url: https://git.hcoop.net/bpt/coccinelle.git/blobdiff_plain/755320b0f64ab4fe487507104d2929cfb19dcee1..abad11c5570b7b9bbae5ff92b3050cf68fe3fd14:/bundles/menhirLib/menhir-20120123/src/option.ml

diff --git a/bundles/menhirLib/menhir-20120123/src/option.ml b/bundles/menhirLib/menhir-20120123/src/option.ml
deleted file mode 100644
index 01378e4..0000000
--- a/bundles/menhirLib/menhir-20120123/src/option.ml
+++ /dev/null
@@ -1,34 +0,0 @@
-(**************************************************************************)
-(*                                                                        *)
-(*  Menhir                                                                *)
-(*                                                                        *)
-(*  François Pottier, INRIA Rocquencourt                                  *)
-(*  Yann Régis-Gianas, PPS, Université Paris Diderot                      *)
-(*                                                                        *)
-(*  Copyright 2005-2008 Institut National de Recherche en Informatique    *)
-(*  et en Automatique. All rights reserved. This file is distributed      *)
-(*  under the terms of the Q Public License version 1.0, with the change  *)
-(*  described in file LICENSE.                                            *)
-(*                                                                        *)
-(**************************************************************************)
-
-let map f = function
-  | None ->
-      None
-  | Some x ->
-      Some (f x)
-
-let iter f o =
-  match o with
-  | None ->
-      ()
-  | Some x ->
-      f x
-
-let fold f o accu =
-  match o with
-  | None ->
-      accu
-  | Some x ->
-      f x accu
-