[nongnu] elpa/proof-general 9c8cf89e81 02/10: EasyCrypt: add `ecall` keyword

[ELPA Syncer]

branch: elpa/proof-general
commit 9c8cf89e81e173418b1657da1bd2b72a131d52f8
Author: Rui Fernandes <ruipedr...@protonmail.com>
Commit: Rui Fernandes <ruipedr...@protonmail.com>

    EasyCrypt: add `ecall` keyword
---
 easycrypt/easycrypt-keywords.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/easycrypt/easycrypt-keywords.el b/easycrypt/easycrypt-keywords.el
index feb64fb10e..fa5ab97116 100644
--- a/easycrypt/easycrypt-keywords.el
+++ b/easycrypt/easycrypt-keywords.el
@@ -150,6 +150,7 @@
   "sim"
   "skip"
   "call"
+  "ecall"
   "rcondt"
   "rcondf"
   "swap"