From e6d04cf1a73533ae80a68d9ef5f34a9e832e77a3 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 5 Jun 2024 17:51:24 +0200
Subject: Fix a minor issue

---
 compiler/ExtractBase.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'compiler')

diff --git a/compiler/ExtractBase.ml b/compiler/ExtractBase.ml
index bc56dd28..4aac270f 100644
--- a/compiler/ExtractBase.ml
+++ b/compiler/ExtractBase.ml
@@ -883,6 +883,7 @@ let keywords () =
           "Declare";
           "Definition";
           "else";
+          "end";
           "End";
           "fun";
           "Fixpoint";
-- 
cgit v1.2.3