From ccac96eaa0a735612bc2dc4bc8a040c6b354eb54 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Sun, 28 Mar 2010 20:32:03 +0000
Subject: catching initial bind symbol in PGFServer

---
 src/server/PGFService.hs | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src')

diff --git a/src/server/PGFService.hs b/src/server/PGFService.hs
index b8c8f7aff..510aa8bd5 100644
--- a/src/server/PGFService.hs
+++ b/src/server/PGFService.hs
@@ -147,6 +147,7 @@ doTranslateGroup pgf input mcat mfrom mto =
      _ -> s
    bind ws = case ws of
          w : "&+" : u : ws2 -> bind ((w ++ u) : ws2)
+         "&+":ws2           -> bind ws2
          w : ws2            -> w : bind ws2
          _ -> ws
    langOnly = reverse . take 3 . reverse
-- 
cgit v1.2.3