summaryrefslogtreecommitdiff
path: root/compiler
diff options
context:
space:
mode:
authorSon Ho2024-06-05 17:48:46 +0200
committerSon Ho2024-06-05 17:48:46 +0200
commit0892b943de4de5e34372b91b40580e5bdfe50016 (patch)
treec9fe5c14ba265ec52abf714570ed459b6acc6999 /compiler
parent9e18eb774c78bd2344bff45cb689f742c91470d2 (diff)
Fix a minor issue
Diffstat (limited to 'compiler')
-rw-r--r--compiler/ExtractBase.ml1
1 files changed, 1 insertions, 0 deletions
diff --git a/compiler/ExtractBase.ml b/compiler/ExtractBase.ml
index 3346c328..bc56dd28 100644
--- a/compiler/ExtractBase.ml
+++ b/compiler/ExtractBase.ml
@@ -850,6 +850,7 @@ let keywords () =
"assert_norm";
"assume";
"else";
+ "end";
"fun";
"fn";
"FStar";