From 4484dec04437c68445411d1b17d7c910d0056b06 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Thu, 22 Mar 2012 21:40:42 +0000
Subject: [PATCH] allow writing constraints, and small fix for writing after
 prefix ops.

---
 C/write.c | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/C/write.c b/C/write.c
index 2aa2a512f..7b3cd320b 100644
--- a/C/write.c
+++ b/C/write.c
@@ -669,7 +669,6 @@ write_var(CELL *t,  struct write_globs *wglb, struct rewind_term *rwt)
   /* make sure we don't get no creepy spaces where they shouldn't be */
   lastw = separator;
   if (IsAttVar(t)) {
-#if defined(COROUTINING) && defined(DEBUG)
     Int vcount = (t-H0);
     if (Yap_Portray_delays) {
       exts ext = ExtFromCell(t);
@@ -698,7 +697,6 @@ write_var(CELL *t,  struct write_globs *wglb, struct rewind_term *rwt)
     }
     wrputc('D', wglb->stream);
     wrputn(vcount,wglb);
-#endif
   } else {
     wrputn(((Int) (t- H0)),wglb);
   }
@@ -947,7 +945,7 @@ writeTerm(Term t, int p, int depth, int rinfixarg, struct write_globs *wglb, str
       } else if (atom == AtomMinus) {
 	last_minus = TRUE;
       }
-      writeTerm(from_pointer(RepAppl(t)+1, &nrwt, wglb), rp, depth + 1, FALSE, wglb, &nrwt);
+      writeTerm(from_pointer(RepAppl(t)+1, &nrwt, wglb), rp, depth + 1, TRUE, wglb, &nrwt);
       restore_from_write(&nrwt, wglb);
       if (bracket_right) {
 	wrputc(')', wglb->stream);