Merge pull request #783 from ruipedro16/add-ecall-keyword

EasyCrypt: add `ecall` keyword
ProofGeneral · Sep 5, 2024 · 1b89aa3 · 1b89aa3
2 parents 11dcebe + 9c8cf89
commit 1b89aa3
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/easycrypt/easycrypt-keywords.el b/easycrypt/easycrypt-keywords.el
@@ -150,6 +150,7 @@
   "sim"
   "skip"
   "call"
+  "ecall"
   "rcondt"
   "rcondf"
   "swap"