From bc6b51d70a783df161f8fb43264ea1558ff37bac Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Thu, 16 Jan 2020 19:14:22 +0000
Subject: Allow effects on mappings

---
 src/jib/jib_optimize.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/jib')

diff --git a/src/jib/jib_optimize.ml b/src/jib/jib_optimize.ml
index 75ef8a19..874835b1 100644
--- a/src/jib/jib_optimize.ml
+++ b/src/jib/jib_optimize.ml
@@ -247,6 +247,7 @@ let ssa_name i = function
   | Name (id, _) -> Name (id, i)
   | Have_exception _ -> Have_exception i
   | Current_exception _ -> Current_exception i
+  | Throw_location _ -> Throw_location i
   | Return _ -> Return i
 
 let inline cdefs should_inline instrs =
-- 
cgit v1.2.3