From 38336f5cb1f10b375b9c3cc098f68bf83cdcf0eb Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Fri, 17 Aug 2018 11:51:38 +0100
Subject: Extend guarded patterns rewriting to exception catching Also fix
 nested matches and generic rewriting under E_throw.

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

(limited to 'src/rewriter.ml')

diff --git a/src/rewriter.ml b/src/rewriter.ml
index 6d88730d..f1de2f47 100644
--- a/src/rewriter.ml
+++ b/src/rewriter.ml
@@ -354,6 +354,7 @@ let rewrite_exp rewriters (E_aux (exp,(l,annot)) as orig_exp) =
   | E_assign (lexp,exp) -> rewrap (E_assign(rewriters.rewrite_lexp rewriters lexp,rewrite exp))
   | E_sizeof n -> rewrap (E_sizeof n)
   | E_exit e -> rewrap (E_exit (rewrite e))
+  | E_throw e -> rewrap (E_throw (rewrite e))
   | E_return e -> rewrap (E_return (rewrite e))
   | E_assert(e1,e2) -> rewrap (E_assert(rewrite e1,rewrite e2))
   | E_var (lexp, e1, e2) ->
-- 
cgit v1.2.3