Add another closestream

ChrisJefferson · Jan 10, 2024 · 54d1f21 · 54d1f21
1 parent 2a7b9a1
commit 54d1f21
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tst/testinstall/streams.tst b/tst/testinstall/streams.tst
@@ -178,6 +178,7 @@ gap> file := InputTextFile( fname );;
 gap> repeat
 >  line := ReadLine( file );
 > until line = fail;
+gap> CloseStream(file);
 
 # Invalid files
 gap> PrintTo("/", "out");