diff options
| -rw-r--r-- | src/lexer.mll | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/lexer.mll b/src/lexer.mll index f7cd1272..5b18026b 100644 --- a/src/lexer.mll +++ b/src/lexer.mll @@ -121,7 +121,7 @@ let kw_table = ] -let default_type_names = ["bool";"unit";"vector";"range";"list";"bit";"nat"; "uint8";"uint16";"uint32";"uint64"] +let default_type_names = ["bool";"unit";"vector";"range";"list";"bit";"nat"; "uint8";"uint16";"uint32";"uint64";"implicit"] let custom_type_names : string list ref = ref [] } |