diff options
| author | Kathy Gray | 2014-08-05 13:29:08 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-08-05 13:29:08 +0100 |
| commit | 2580caa031dac586a903b235ed0a624d690f7a41 (patch) | |
| tree | ea03a12814f403a40add0c360820d9059986cf09 /src | |
| parent | 25819bb0fced8b8b16ad1595b4080580d8b0e902 (diff) | |
missed file from last commit
Diffstat (limited to 'src')
| -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 [] } |