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 +++-
 easycrypt/easycrypt.el          | 1 -
 2 files changed, 3 insertions(+), 2 deletions(-)

(limited to 'easycrypt')

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 '(
diff --git a/easycrypt/easycrypt.el b/easycrypt/easycrypt.el
index ecea9744..017b2563 100644
--- a/easycrypt/easycrypt.el
+++ b/easycrypt/easycrypt.el
@@ -61,7 +61,6 @@ this list are strings."
 
 ;; --------------------------------------------------------------------
 (defun easycrypt-prog-args ()
-  (message "%s" easycrypt-load-path)
   (append easycrypt-prog-args (easycrypt-include-options)))
 
 ;; --------------------------------------------------------------------
-- 
cgit v1.2.3