From 8ca43c32b30c03cc3fde51736ea5884dfd1c2c50 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 12 Jun 2024 18:20:14 +0200
Subject: Revert "Fix some mistakes"

This reverts commit f05a0faf14fdd558039da52624d57028eb64f9fd.
---
 compiler/ExtractBase.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'compiler')

diff --git a/compiler/ExtractBase.ml b/compiler/ExtractBase.ml
index 8fe36d5b..4aac270f 100644
--- a/compiler/ExtractBase.ml
+++ b/compiler/ExtractBase.ml
@@ -1016,8 +1016,6 @@ let keywords () =
           "where";
           "with";
         ]
-        @ (* This comes from the scalar notations: `1u32`, etc. *)
-        List.map StringUtils.lowercase_first_letter all_int_names
     | HOL4 ->
         [
           "Axiom";
-- 
cgit v1.2.3