1 files changed, 2 insertions, 0 deletions

diff --git a/ai_new.h b/ai_new.h
index 9023d397a..50b8b6250 100644
--- a/ai_new.h
+++ b/ai_new.h
@@ -1,3 +1,5 @@
+/* $Id$ */
+
 #ifndef AI_NEW_H
 #define AI_NEW_H