Close Stream bug files

diff --git a/tests-pl/issue1046-close-stream.pl b/tests-pl/issue1046-close-stream.pl
index 0ac47fcc479bd0a80254bfe03197676fa6c14d0e..63792059167aacdf122b1bb29e82035b409d0170 100644 (file)
--- a/tests-pl/issue1046-close-stream.pl
+++ b/tests-pl/issue1046-close-stream.pl
@@ -2,6 +2,10 @@
 :- use_module(library(time)).
 :- use_module(library(format)).
 
+% Manual test to fix issue 1046
+% Server must be executed first, then client
+% The expected error is an exception thrown here, not a panic
+
 test :-
     Addr = '0.0.0.0',
     Port = 5000,