From d8620c785ec3a3428a803f78a8a888d6993d3c48 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Fri, 19 Feb 2016 19:31:58 +0000
Subject: [PATCH] lucky this wasn't noticed

---
 os/writeterm.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/os/writeterm.c b/os/writeterm.c
index 337b3317e..fdb00df6d 100644
--- a/os/writeterm.c
+++ b/os/writeterm.c
@@ -678,7 +678,7 @@ writeln ( USES_REGS1 )
   args[WRITE_NL].tvalue = TermTrue;
   args[WRITE_NUMBERVARS].used = true;
   args[WRITE_NUMBERVARS].tvalue = TermTrue;
-  write_term( output_stream, ARG1, args PASS_REGS);
+  write_term( output_stream, ARG2, args PASS_REGS);
   UNLOCK(GLOBAL_Stream[output_stream].streamlock);
   Yap_CloseSlots( mySlots );
   if (EX != 0L) {