From 49ffe00466939ca2641b52583a913a128d9c12f8 Mon Sep 17 00:00:00 2001
From: John David Pressman <jd@jdpressman.com>
Date: Thu, 10 Oct 2019 18:35:39 -0700
Subject: [PATCH] Remove unsupported_map_patch error in PascaLIGO simplifier

---
 src/passes/2-simplify/pascaligo.ml | 11 -----------
 1 file changed, 11 deletions(-)

diff --git a/src/passes/2-simplify/pascaligo.ml b/src/passes/2-simplify/pascaligo.ml
index a2c43d0ee..dfa37bd0f 100644
--- a/src/passes/2-simplify/pascaligo.ml
+++ b/src/passes/2-simplify/pascaligo.ml
@@ -119,17 +119,6 @@ module Errors = struct
     ] in
     error ~data title message
 
- (* let unsupported_map_patches patch =
-    let title () = "map patches" in
-    let message () =
-      Format.asprintf "map patches (a.k.a. functional updates) are \
-                       not supported yet" in
-    let data = [
-      ("patch_loc",
-       fun () -> Format.asprintf "%a" Location.pp_lift @@ patch.Region.region)
-    ] in
-    error ~data title message *)
-
   let unsupported_set_patches patch =
     let title () = "set patches" in
     let message () =