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"