diff -r f8456f0da769 -r 237cddb1a785 tools/erlparse.lua --- 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