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