diff options
Diffstat (limited to 'src/boot/fe/token.ml')
| -rw-r--r-- | src/boot/fe/token.ml | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/src/boot/fe/token.ml b/src/boot/fe/token.ml index 7f4665c2..0b157983 100644 --- a/src/boot/fe/token.ml +++ b/src/boot/fe/token.ml @@ -80,9 +80,6 @@ type token = | CLAIM | PROVE - (* Opacity keywords *) - | ABS - (* Layer keywords *) | STATE | GC @@ -243,9 +240,6 @@ let rec string_of_tok t = | CLAIM -> "claim" | PROVE -> "prove" - (* Opacity keywords *) - | ABS -> "abs" - (* Layer keywords *) | STATE -> "state" | GC -> "gc" |