summaryrefslogtreecommitdiff
path: root/compiler
diff options
context:
space:
mode:
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";