From 5a5a05df9519c3808b2f5e3aefff5cf2165e48ae Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Wed, 6 Dec 2006 14:11:01 +0000
Subject: [PATCH] Fixed warning sand extra spaces in linearization in gflib.js.

---
 lib/javascript/gflib.js | 8 +++++---
 1 file changed, 5 insertions(+), 3 deletions(-)

diff --git a/lib/javascript/gflib.js b/lib/javascript/gflib.js
index 19d6b448e..f40b2ab55 100644
--- a/lib/javascript/gflib.js
+++ b/lib/javascript/gflib.js
@@ -30,6 +30,7 @@ function parseTree_(tokens, prec) {
 	} else {
 		var tree = new Fun(t);
 		if (prec == 0) {
+			var c;
 			while ((c = parseTree_(tokens, 1)) !== null) { 
 				tree.children.push(c); 
 			}
@@ -103,9 +104,10 @@ function copy_arguments(args, start) {
 function join_print(values, glue) {
 	var str = "";
 	for (var i = 0; i < values.length; i++) {
-		str += values[i].print();
-		if (i < values.length - 1) {
-			str += glue;
+		var s = values[i].print();
+		if (s.length > 0) {
+			if (str.length > 0) { str += glue; }
+			str += s;
 		}
 	}
 	return str;