From 057d2b05aa474c27f19dc517f38018414aa91dcf Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Tue, 14 Jan 2020 20:42:37 +0000
Subject: Basic support to track uncaught exceptions in Sail->C

---
 language/jib.ott | 1 +
 1 file changed, 1 insertion(+)

(limited to 'language')

diff --git a/language/jib.ott b/language/jib.ott
index d5c7f571..8cccac5f 100644
--- a/language/jib.ott
+++ b/language/jib.ott
@@ -59,6 +59,7 @@ name :: '' ::=
   | id nat                :: :: name
   | have_exception nat    :: :: have_exception
   | current_exception nat :: :: current_exception
+  | throw_location nat    :: :: throw_location
   | return nat            :: :: return
 
 op :: '' ::=
-- 
cgit v1.2.3