Skip to content

Commit ae57001

Browse files
committed
Remove dead code in cexp.
1 parent e02ffb2 commit ae57001

File tree

1 file changed

+0
-1
lines changed

1 file changed

+0
-1
lines changed

src/boot/fe/cexp.ml

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -310,7 +310,6 @@ type pval =
310310
type cdir =
311311
CDIR_meta of ((Ast.ident * string) array)
312312
| CDIR_syntax of Ast.name
313-
| CDIR_check of (Ast.name * pval array)
314313
| CDIR_mod of (Ast.ident * Ast.mod_item)
315314
| CDIR_auth of auth
316315

0 commit comments

Comments
 (0)