1 files changed, 2 insertions, 0 deletions

diff --git a/pool.h b/pool.h
index 4aa5de28f..eebbfd374 100644
--- a/pool.h
+++ b/pool.h
@@ -1,3 +1,5 @@
+/* $Id$ */
+
 #ifndef POOL_H
 #define POOL_H