diff options
Diffstat (limited to 'src/boot/fe/token.ml')
| -rw-r--r-- | src/boot/fe/token.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/boot/fe/token.ml b/src/boot/fe/token.ml index 636e1ac2..446e5262 100644 --- a/src/boot/fe/token.ml +++ b/src/boot/fe/token.ml @@ -118,6 +118,7 @@ type token = | BOOL | INT | UINT + | FLOAT | CHAR | STR | MACH of Common.ty_mach @@ -267,6 +268,7 @@ let rec string_of_tok t = | BOOL -> "bool" | INT -> "int" | UINT -> "uint" + | FLOAT -> "float" | CHAR -> "char" | STR -> "str" | MACH m -> Common.string_of_ty_mach m |