summaryrefslogtreecommitdiff
path: root/compiler
diff options
context:
space:
mode:
authorSon Ho2024-06-12 16:54:24 +0200
committerSon Ho2024-06-12 16:54:24 +0200
commitf05a0faf14fdd558039da52624d57028eb64f9fd (patch)
treea38acc108a56b101c4ab1b17e464015f44d46b17 /compiler
parentfe59d3afe131e9f83cbdf73b1c8089ad090d92fb (diff)
Fix some mistakes
Diffstat (limited to 'compiler')
-rw-r--r--compiler/ExtractBase.ml2
1 files changed, 2 insertions, 0 deletions
diff --git a/compiler/ExtractBase.ml b/compiler/ExtractBase.ml
index 4aac270f..8fe36d5b 100644
--- a/compiler/ExtractBase.ml
+++ b/compiler/ExtractBase.ml
@@ -1016,6 +1016,8 @@ let keywords () =
"where";
"with";
]
+ @ (* This comes from the scalar notations: `1u32`, etc. *)
+ List.map StringUtils.lowercase_first_letter all_int_names
| HOL4 ->
[
"Axiom";