From 3d9cf15d0b5c89f3e71d1679b0698f3884e5a5d2 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Tue, 19 Apr 2011 14:00:04 -0700
Subject: Remove half-baked 'opacity' layer qualifier.

---
 src/boot/fe/token.ml | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'src/boot/fe/token.ml')

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"
-- 
cgit v1.2.3