afsconfig-and-rcsid-all-around-20010705
[openafs.git] / src / des / util.c
index 9be7e5d..1f92bf2 100644 (file)
@@ -7,6 +7,11 @@
  * Miscellaneous debug printing utilities
  */
 
+#include <afs/param.h>
+#include <afsconfig.h>
+
+RCSID("$Header$");
+
 #include <mit-cpyright.h>
 #include <stdio.h>
 #include <sys/types.h>