From 9c8cf89e81e173418b1657da1bd2b72a131d52f8 Mon Sep 17 00:00:00 2001
From: Rui Fernandes <ruipedro16@protonmail.com>
Date: Mon, 22 Jul 2024 17:39:54 +0200
Subject: [PATCH] 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 feb64fb10..fa5ab9711 100644
--- a/easycrypt/easycrypt-keywords.el
+++ b/easycrypt/easycrypt-keywords.el
@@ -150,6 +150,7 @@
   "sim"
   "skip"
   "call"
+  "ecall"
   "rcondt"
   "rcondf"
   "swap"