From b84262238d94dbbc1742c1dbc616d8cc0048107d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Thu, 5 Nov 2015 17:16:55 +0000
Subject: [PATCH] stupid bug: format would always use user_output

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

diff --git a/os/format.c b/os/format.c
index f17085faa..185f63c2c 100644
--- a/os/format.c
+++ b/os/format.c
@@ -1046,7 +1046,7 @@ static Int
 format2( USES_REGS1 )
 {				/* 'format'(Stream,Control,Args)          */
   Int res;
-  res = format(MkAtomTerm(AtomUserOut), Deref(ARG1),Deref(ARG2) PASS_REGS);
+  res = doformat( Deref(ARG1),Deref(ARG2), LOCAL_c_output_stream PASS_REGS);
   return res;
 }