From 12d6e92b5cac0ea1fda6f8f782067afe49b263ee Mon Sep 17 00:00:00 2001
From: Pierre-Yves Strub <pierre-yves@strub.nu>
Date: Tue, 21 Feb 2017 23:41:44 +0100
Subject: [ec mode]: update keywords

---
 easycrypt/easycrypt-keywords.el | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'easycrypt/easycrypt-keywords.el')

diff --git a/easycrypt/easycrypt-keywords.el b/easycrypt/easycrypt-keywords.el
index 0bc10346..e0b9d369 100644
--- a/easycrypt/easycrypt-keywords.el
+++ b/easycrypt/easycrypt-keywords.el
@@ -5,7 +5,7 @@
 ;; Distributed under the terms of the GPL-v3 license
 ;; --------------------------------------------------------------------
 
-; Generated on Thu Dec 17 16:14:05 2015
+; Generated on Tue Feb 21 23:37:34 2017
 
 (defvar easycrypt-bytac-keywords '(
   "exact"
@@ -43,6 +43,7 @@
   "const"
   "op"
   "pred"
+  "inductive"
   "notation"
   "abbrev"
   "require"
@@ -96,6 +97,7 @@
   "hoare"
   "phoare"
   "islossless"
+  "async"
 ))
 
 (defvar easycrypt-tactic-keywords '(
-- 
cgit v1.2.3