From ac945514d59d91e51a63149b39b472421e59e299 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Sat, 29 Dec 2018 14:00:40 +0000
Subject: Add separate termination_measure declarations

---
 language/sail.ott | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'language')

diff --git a/language/sail.ott b/language/sail.ott
index dfd9a423..a07f19ff 100644
--- a/language/sail.ott
+++ b/language/sail.ott
@@ -990,6 +990,8 @@ def :: 'DEF_' ::=
     {{ com default kind and type assumptions }}
   | scattered_def                                      :: :: scattered
     {{ com scattered function and type definition }}
+  | 'termination_measure' id pat = exp                 :: :: measure
+    {{ com separate termination measure declaration }}
   | dec_spec                                           :: :: reg_dec
     {{ com register declaration }}
   | fundef1 .. fundefn                                 :: I :: internal_mutrec
-- 
cgit v1.2.3