From 121d927e85c4bebdf5d6de2fe48b77c278a6d6ad Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Sun, 7 Aug 2016 09:48:21 -0500 Subject: [PATCH] extern and protect Aux --- os/iopreds.h | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/os/iopreds.h b/os/iopreds.h index b588fa1a4..c21b2e583 100644 --- a/os/iopreds.h +++ b/os/iopreds.h @@ -86,8 +86,9 @@ extern void init_read_data(ReadData _PL_rd, struct stream_desc *s); typedef int (*GetsFunc)(int, UInt, char *); -void Yap_InitStdStreams(void); -Term Yap_StreamPosition(int); +extern void Yap_InitStdStreams(void); +extern Term Yap_StreamPosition(int); +extern void Yap_CloseStream(int sno); static inline Int GetCurInpPos(StreamDesc *inp_stream) { return (inp_stream->linecount); @@ -273,7 +274,7 @@ bool Yap_Exists(const char *f); static inline void freeBuffer(const void *ptr) { CACHE_REGS - if (ptr == NULL || ptr == LOCAL_FileNameBuf || ptr == LOCAL_FileNameBuf2) + if (ptr == NULL || ptr == LOCAL_FileNameBuf || ptr == LOCAL_FileNameBuf2 || ptr == AuxBase) return; free((void *)ptr); }