From b4a0f83c3d9853cd2594bfb3f88adda5e783451e Mon Sep 17 00:00:00 2001
From: Jason Gross <jagro@google.com>
Date: Mon, 4 Jun 2018 17:07:36 -0400
Subject: Move Option.List.map to OptionList.map to fix name clashes in Tuple

---
 src/Util/Option.v | 17 -----------------
 1 file changed, 17 deletions(-)

(limited to 'src/Util/Option.v')

diff --git a/src/Util/Option.v b/src/Util/Option.v
index e14ad263e..b9e64910c 100644
--- a/src/Util/Option.v
+++ b/src/Util/Option.v
@@ -18,23 +18,6 @@ Module Export Notations.
 End Notations.
 Local Open Scope option_scope.
 
-Module List.
-  Section map.
-    Context {A B}
-            (f : A -> option B).
-
-    Fixpoint map (ls : list A) : list B
-      := match ls with
-         | nil => nil
-         | cons x xs
-           => match f x with
-              | Some fx => fx :: map xs
-              | None => map xs
-              end
-         end.
-  End map.
-End List.
-
 Section Relations.
   Definition option_eq {A} eq (x y : option A) :=
     match x with
-- 
cgit v1.2.3