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";