tools/erlparse.lua

changeset 489
237cddb1a785
parent 482
b86082df0bc0
child 519
cccd610a0ef9
--- a/tools/erlparse.lua	Sat Nov 29 19:52:20 2008 +0000
+++ b/tools/erlparse.lua	Sun Nov 30 02:08:37 2008 +0500
@@ -98,7 +98,7 @@
 		return readString();
 	elseif ch == "<" then
 		return readSpecialString();
-	elseif isSpace(ch) or ch == "," then
+	elseif isSpace(ch) or ch == "," or ch == "|" then
 		read();
 		return readItem();
 	else

mercurial