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 527161ffd2d7713a692c3f7e13ea6cadff396cb4..5cbe02881a80c9ce2714153cbeff370e69a5461d 100644 (file)
--- a/README.md
+++ b/README.md
@@ -469,7 +469,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 2e76a211a0c01a55a993b69cd9b0473b6be46f80..e3ffe78d0484c30b17dbe6fef92a34e20aa8cca0 100644 (file)
--- a/misc.c
+++ b/misc.c
@@ -79,7 +79,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;