- Try to do better pretty printing when array elements are individually

[bpt/coccinelle.git] / 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 (file)
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
-