diff --git a/os/streams.c b/os/streams.c index d33b2e971..88f20e847 100644 --- a/os/streams.c +++ b/os/streams.c @@ -866,8 +866,8 @@ void Yap_CloseStreams(int loud) { } } - static void - CloseStream(int sno) { +static void +CloseStream(int sno) { CACHE_REGS if (!(GLOBAL_Stream[sno].status & (Null_Stream_f | Socket_Stream_f | InMemory_Stream_f | Pipe_Stream_f)))