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 df55aa176bd38f237cd6334917d638e5dec6b9e2..47eab0fa964f7e812c543836a2cba75a66bb34c4 100644 (file)
--- a/README.md
+++ b/README.md
@@ -439,7 +439,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 345cac2321ad6966d657b027eb7e3a3b26c73f3b..c413a9897dd03022c81ec39870075193ea1a71b4 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;