fix - -2.

This commit is contained in:
Vítor Santos Costa 2012-03-27 15:19:07 +01:00
parent 9ff1399482
commit 9c685e71a7
1 changed files with 3 additions and 2 deletions

View File

@ -101,7 +101,8 @@ protect_open_number(struct write_globs *wglb, int minus_required)
wrputc(' ', wglb->stream); wrputc(' ', wglb->stream);
} }
wrputc('(', wglb->stream); wrputc('(', wglb->stream);
} else if (lastw == alphanum) { } else if (lastw == alphanum ||
(lastw == symbol && minus_required)) {
wrputc(' ', stream); wrputc(' ', stream);
} }
} }
@ -423,7 +424,7 @@ AtomIsSymbols(unsigned char *s) /* Is this atom just formed by symbols ? */
return(separator); return(separator);
while ((ch = *s++) != '\0') { while ((ch = *s++) != '\0') {
if (Yap_chtype[ch] != SY) if (Yap_chtype[ch] != SY)
return(alphanum); return alphanum;
} }
return symbol; return symbol;
} }