# HG changeset patch
# User jwe
# Date 747948566 0
# Node ID 38f924cd2055ccb615850dbb68571c0bb09109a0
# Parent  13e74a4bf262ed3ac4884a39957697e1adb49e4d
[project @ 1993-09-13 19:29:26 by jwe]
(get_m_file_names): Call closedir(), not free(), to dispose of
directory structure.

diff -r 13e74a4bf262 -r 38f924cd2055 src/utils.cc
--- a/src/utils.cc	Mon Sep 13 04:00:41 1993 +0000
+++ b/src/utils.cc	Mon Sep 13 19:29:26 1993 +0000
@@ -1197,7 +1197,7 @@
 		}
 	    }
 	}
-      free (dirp);
+      closedir (dirp);
     }
 
   retval[i] = (char *) NULL;