diff options
Diffstat (limited to 'src/boot/fe/token.ml')
| -rw-r--r-- | src/boot/fe/token.ml | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/boot/fe/token.ml b/src/boot/fe/token.ml index 7b4f04b2..7f4665c2 100644 --- a/src/boot/fe/token.ml +++ b/src/boot/fe/token.ml @@ -87,8 +87,7 @@ type token = | STATE | GC - (* Effect keywords *) - | IMPURE + (* Unsafe-block keyword *) | UNSAFE (* Type qualifiers *) @@ -251,8 +250,7 @@ let rec string_of_tok t = | STATE -> "state" | GC -> "gc" - (* Effect keywords *) - | IMPURE -> "impure" + (* Unsafe-block keyword *) | UNSAFE -> "unsafe" (* Type qualifiers *) |