This commit was manufactured by cvs2svn to create branch 'init'.

[helm.git] / helm / DEVEL / pxp / pxp / rtests / reader / minilex.mll

diff --git a/helm/DEVEL/pxp/pxp/rtests/reader/minilex.mll b/helm/DEVEL/pxp/pxp/rtests/reader/minilex.mll
deleted file mode 100644 (file)
index 1c9fbec..0000000
--- a/helm/DEVEL/pxp/pxp/rtests/reader/minilex.mll
+++ /dev/null
@@ -1,7 +0,0 @@
-{ }
-rule nextchar = parse 
-    _ 
-      { Some (Lexing.lexeme lexbuf).[0] }
-  | eof
-      { None }
-{ }