diff options
author | Son Ho | 2024-06-12 16:54:24 +0200 |
---|---|---|
committer | Son Ho | 2024-06-12 16:54:24 +0200 |
commit | f05a0faf14fdd558039da52624d57028eb64f9fd (patch) | |
tree | a38acc108a56b101c4ab1b17e464015f44d46b17 /compiler | |
parent | fe59d3afe131e9f83cbdf73b1c8089ad090d92fb (diff) |
Fix some mistakes
Diffstat (limited to 'compiler')
-rw-r--r-- | compiler/ExtractBase.ml | 2 |
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"; |