From d0e43bed694a84e09e606dfeedb68d9570da80bb Mon Sep 17 00:00:00 2001
From: dwarning <dwarning>
Date: Thu, 27 Dec 2007 16:59:22 +0000
Subject: [PATCH] strip white spaces only inside parens

---
 src/frontend/dotcards.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/frontend/dotcards.c b/src/frontend/dotcards.c
index cd92466ed..2d823ad7f 100644
--- a/src/frontend/dotcards.c
+++ b/src/frontend/dotcards.c
@@ -507,7 +507,7 @@ gettoks(char *s)
     list = NULL;
     prevp = &list;
 
-    s = stripWhiteSpacesInsideParens(s);
+    if (strstr( s, "(" )) s = stripWhiteSpacesInsideParens(s);
     while ((t = gettok(&s))) {
 	if (*t == '(')
 	    continue;