0.6.7.22: removed CVS dollar-Header-dollar tags from sources

[sbcl.git] / src / runtime / monitor.h

diff --git a/src/runtime/monitor.h b/src/runtime/monitor.h
index 9d8583d..3eec762 100644 (file)
--- a/src/runtime/monitor.h
+++ b/src/runtime/monitor.h
@@ -9,9 +9,5 @@
  * files for more information.
  */
 
-/*
- * $Header$
- */
-
 extern void ldb_monitor(void);
 extern void throw_to_monitor(void);