1 files changed, 0 insertions, 12 deletions
diff --git a/camlp4/etc/parserify.mli b/camlp4/etc/parserify.mli
deleted file mode 100644
index ece8b8927f..0000000000
--- a/camlp4/etc/parserify.mli
+++ /dev/null
@@ -1,12 +0,0 @@
-(* camlp4r *)
-(* $Id$ *)
-
-type spc =
-  [ SPCterm of (MLast.patt * option MLast.expr)
-  | SPCnterm of MLast.patt and MLast.expr
-  | SPCsterm of MLast.patt ]
-;
-
-value parser_of_expr :
-  MLast.expr ->
-    list (list (spc * option MLast.expr) * option MLast.patt * MLast.expr);