From ff2acca219df85e87d9711a50dd2cc5f963dbfbc Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Mon, 7 Oct 2013 12:20:52 +0100
Subject: [PATCH] fix operators

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

diff --git a/C/write.c b/C/write.c
index d97f28f78..87c62bd19 100644
--- a/C/write.c
+++ b/C/write.c
@@ -990,7 +990,7 @@ writeTerm(Term t, int p, int depth, int rinfixarg, struct write_globs *wglb, str
 	tleft = ArgOfTerm(1, t);
 	offset = 2;
       } else {
-	tleft = ArgOfTerm(2, t);
+	tleft = ArgOfTerm(1, t);
 	offset = 1;
       }
       bracket_left =