From 048c00a7a65b9c372eee1220d776e68b12759944 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Sat, 28 Sep 2013 12:12:09 +0100
Subject: [PATCH] fix writing [](_,_)

---
 C/write.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/C/write.c b/C/write.c
index 38e3f8c2e..ee911ebd2 100644
--- a/C/write.c
+++ b/C/write.c
@@ -973,7 +973,7 @@ writeTerm(Term t, int p, int depth, int rinfixarg, struct write_globs *wglb, str
 	wrclose_bracket(wglb, TRUE);
       }
     } else if (!wglb->Ignore_ops &&
-	       ( Arity == 1 || atom == AtomEmptyBrackets || atom == AtomEmptyCurlyBrackets || atom == AtomEmptySquareBrackets) &&
+	       ( Arity == 1 || ((atom == AtomEmptyBrackets || atom == AtomEmptyCurlyBrackets || atom == AtomEmptySquareBrackets) && !IsVarTerm(ArgOfTerm(1, t)))) &&
 	       Yap_IsPosfixOp(atom, &op, &lp)) {
       Term  tleft = ArgOfTerm(1, t);