1 files changed, 1 insertions, 0 deletions
diff --git a/mh.c b/mh.c
index 73b382b7..99f55ec3 100644
--- a/mh.c
+++ b/mh.c
@@ -1,3 +1,4 @@
+static char rcsid[]="$Id$";
 /*
  * Copyright (C) 1996-8 Michael R. Elkins <me@cs.hmc.edu>
  *