Make the GC notification string be a comment.

diff --git a/v7/src/runtime/gcnote.scm b/v7/src/runtime/gcnote.scm
index 1b8d0b95c048119217032f6dbe4bd2d47347bc11..ee3f7e57c96086d24205bf494e6d8269aa1e21a8 100644 (file)
--- a/v7/src/runtime/gcnote.scm
+++ b/v7/src/runtime/gcnote.scm
@@ -1,6 +1,6 @@
 #| -*-Scheme-*-
 
-$Id: gcnote.scm,v 14.13 2000/03/25 03:24:44 cph Exp $
+$Id: gcnote.scm,v 14.14 2000/03/25 03:26:30 cph Exp $
 
 Copyright (c) 1988-2000 Massachusetts Institute of Technology
 
@@ -123,7 +123,7 @@ Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
                "%)")
               7))))))
             
-    (string-append "GC #"
+    (string-append ";GC #"
                   (number->string (gc-statistic/meter statistic))
                   ": took: "
                   (intervals->string