1 files changed, 1 insertions, 0 deletions

diff --git a/globals.h b/globals.h
index 9c328862..bd1cebc6 100644
--- a/globals.h
+++ b/globals.h
@@ -1,3 +1,4 @@
+/* $Id$ */
 /*
  * Copyright (C) 1996-8 Michael R. Elkins <me@cs.hmc.edu>
  *