---

graydon · graydon · commit 53c76bedca8f · 2010-11-13T22:34:48.000-08:00
yaml --- r: 907 b: refs/heads/master c: ae57001 h: refs/heads/master i: 905: a6d2b01 903: a3ecbb4 v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: e02ffb2c2d639eb813d9924ca1c3e9c6b7d0e534
+refs/heads/master: ae570016a4d0c93c321702e14b16b2785d47ca60
diff --git a/trunk/src/boot/fe/cexp.ml b/trunk/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
 

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: e02ffb2c2d639eb813d9924ca1c3e9c6b7d0e534`
	`2`	`+refs/heads/master: ae570016a4d0c93c321702e14b16b2785d47ca60`