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

[sbcl.git] / src / runtime / validate.c

diff --git a/src/runtime/validate.c b/src/runtime/validate.c
index 5f31b20..20fad4a 100644 (file)
--- a/src/runtime/validate.c
+++ b/src/runtime/validate.c
@@ -13,10 +13,6 @@
  * files for more information.
  */
 
-/*
- * $Header$
- */
-
 #include <stdio.h>
 #include "runtime.h"
 #include "os.h"