Commit b443106f authored by gerd's avatar gerd

Fix in the ulex transformation


git-svn-id: https://godirepo.camlcity.org/svn/lib-pxp/trunk@674 dbe99aee-44db-0310-b2b3-d33182c8eb97
parent d3d2e584
......@@ -200,7 +200,7 @@ let parse_term str =
sep :: norm false term'
| tok :: term' ->
if need_sep then
(`Sep "") :: norm false term'
(`Sep "") :: tok :: norm false term'
else
tok :: norm true term'
| [] ->
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment