From 7f7d5972ac587506937a328641c33acf0bdeec22 Mon Sep 17 00:00:00 2001
From: Tom Jack <tom@tomjack.co>
Date: Thu, 21 Nov 2019 16:53:17 -0600
Subject: [PATCH] Fix a Region.Invalid error in Cameligo simplifier

---
 src/passes/2-simplify/ligodity.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/passes/2-simplify/ligodity.ml b/src/passes/2-simplify/ligodity.ml
index 219ab41ca..39c60639c 100644
--- a/src/passes/2-simplify/ligodity.ml
+++ b/src/passes/2-simplify/ligodity.ml
@@ -35,7 +35,7 @@ module Errors = struct
       Format.asprintf "multiple patterns in \"%s\" are not supported yet" construct in
     let patterns_loc =
       List.fold_left (fun a p -> Region.cover a (Raw.pattern_to_region p))
-        Region.min patterns in
+        Region.ghost patterns in
     let data = [
       ("patterns_loc", fun () -> Format.asprintf "%a" Location.pp_lift @@ patterns_loc)
     ] in