Fix dbg_mlc.c/o file name in documentation

* README.md (Debugging Facilities): Fix file name ("dbg_mlc.c").
* misc.c (GC_debugging_started): Fix file name ("dbg_mlc.o") in
comment.

diff --git a/README.md b/README.md
index 67b6d5b5303e29d2860c86cf4d167c8f2c75e143..a118fda3d07dbf2d40a0d6fae2de0355d141b12e 100644 (file)
--- a/README.md
+++ b/README.md
@@ -462,7 +462,7 @@ equivalents.  (`GC_REGISTER_FINALIZER` is necessary, since pointers to
 objects with debugging information are really pointers to a displacement
 of 16 bytes form the object beginning, and some translation is necessary
 when finalization routines are invoked.  For details, about what's stored
-in the header, see the definition of the type oh in debug_malloc.c)
+in the header, see the definition of the type oh in dbg_mlc.c file.)
 
 
 ## Incremental/Generational Collection

diff --git a/misc.c b/misc.c
index ccde006e6386488f63c4e8e201893bdf8eca88c1..0ae5d3af2179fec654590aba3ba7d16cf46dcdb2 100644 (file)
--- a/misc.c
+++ b/misc.c
@@ -77,7 +77,7 @@
 GC_FAR struct _GC_arrays GC_arrays /* = { 0 } */;
 
 GC_INNER GC_bool GC_debugging_started = FALSE;
-        /* defined here so we don't have to load debug_malloc.o */
+                /* defined here so we don't have to load dbg_mlc.o */
 
 ptr_t GC_stackbottom = 0;