--- ray/src/rt/vga.c	1992/10/14 10:30:30	2.4
+++ ray/src/rt/vga.c	1992/11/02 16:01:05	2.5
@@ -87,6 +87,7 @@ char  *name, *id;
 static
 vga_close()					/* close VGA */
 {
+	ms_gcdone(&vga_driver);
 	_setvideomode(_DEFAULTMODE);
 	errvec = stderr_v;			/* reset error vectors */
 	cmdvec = NULL;