From ce0715e75ac6e788fa375d3618b2f703255478ed Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Thu, 20 Mar 2014 16:23:07 +0000
Subject: [PATCH] fix IOSTREAM

---
 H/Yapproto.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/H/Yapproto.h b/H/Yapproto.h
index 4e55b41f8..5610595cb 100755
--- a/H/Yapproto.h
+++ b/H/Yapproto.h
@@ -422,7 +422,7 @@ Int     Yap_SkipList(Term *, Term **);
 /* write.c */
 void	Yap_plwrite(Term, void *, int, int, int);
 int     Yap_FormatFloat( Float f, const char *s, size_t sz );
-void    Yap_WriteAtom(IOSTREAM *s, Atom atom);
+void    Yap_WriteAtom(struct io_stream *s, Atom atom);
 
 /* yap2swi.c */
 void	Yap_swi_install(void);