From 3443fa1932cfca77c8cf21a3361f758182fc7ca0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Mon, 19 Mar 2012 09:31:15 +0000
Subject: [PATCH] another try...

---
 C/write.c | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/C/write.c b/C/write.c
index fb9f49293..2aa2a512f 100644
--- a/C/write.c
+++ b/C/write.c
@@ -96,8 +96,12 @@ protect_open_number(struct write_globs *wglb, int minus_required)
   wrf stream = wglb->stream;
 
   if (lastw == symbol && last_minus && !minus_required) {
+    if (!wglb->Ignore_ops) {
+      /* protect against collating - with number, and getting - 1 ^2 as (-(1))^2 */
+      wrputc(' ', wglb->stream);
+    }
     wrputc('(', wglb->stream);
-  } else if (lastw == symbol) {
+  } else if (lastw == alphanum) {
     wrputc(' ', stream);  
   }  
 }