From b5fd7d88c107e80454696980bb7a9b6b74cb018c Mon Sep 17 00:00:00 2001
From: hallgren <hallgren@chalmers.se>
Date: Mon, 28 Apr 2014 12:07:41 +0000
Subject: [PATCH] Simple Translator: remove extra space before punctuation

---
 src/www/translator/translator.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/www/translator/translator.js b/src/www/translator/translator.js
index 6bb490197..3661257f4 100644
--- a/src/www/translator/translator.js
+++ b/src/www/translator/translator.js
@@ -222,7 +222,7 @@ Translator.prototype.update_translation=function(i) {
 		var ts=[]
 		for(var i=0;i<trans.length;i++) {
 		    var t=trans[i].linearizations[0].text
-		    if(punct) t=t+" "+punct
+		    if(punct) t=t+punct
 		    if(!elem(t,ts)) ts.push(t)
 		}
 		//mapc(unlextext,ts,upd3)