From 339048c76b4f9be4b09b5023fdc985c80fd13bfb Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Fri, 5 Aug 2016 16:44:38 -0500
Subject: [PATCH] clean name on close

---
 os/streams.c | 1 +
 1 file changed, 1 insertion(+)

diff --git a/os/streams.c b/os/streams.c
index 9b817d00d..78c81f7ca 100644
--- a/os/streams.c
+++ b/os/streams.c
@@ -937,6 +937,7 @@ void Yap_CloseStream(int sno) { CloseStream(sno); }
 void Yap_ReleaseStream(int sno) {
   CACHE_REGS
   GLOBAL_Stream[sno].status = Free_Stream_f;
+  GLOBAL_Stream[sno].user_name = 0;
   Yap_DeleteAliases(sno);
   if (LOCAL_c_input_stream == sno) {
     LOCAL_c_input_stream = StdInStream;