From ae570016a4d0c93c321702e14b16b2785d47ca60 Mon Sep 17 00:00:00 2001
From: Graydon Hoare <graydon@mozilla.com>
Date: Sat, 13 Nov 2010 22:34:48 -0800
Subject: Remove dead code in cexp.

---
 src/boot/fe/cexp.ml | 1 -
 1 file changed, 1 deletion(-)

(limited to 'src')

diff --git a/src/boot/fe/cexp.ml b/src/boot/fe/cexp.ml
index 3ca4ded7..9c4666f9 100644
--- a/src/boot/fe/cexp.ml
+++ b/src/boot/fe/cexp.ml
@@ -310,7 +310,6 @@ type pval =
 type cdir =
     CDIR_meta of ((Ast.ident * string) array)
   | CDIR_syntax of Ast.name
-  | CDIR_check of (Ast.name * pval array)
   | CDIR_mod of (Ast.ident * Ast.mod_item)
   | CDIR_auth of auth
 
-- 
cgit v1.2.3