1 files changed, 4 insertions, 2 deletions
diff --git a/src/util/Misc.c b/src/util/Misc.c
index d0984e17..2581b7ff 100644
--- a/src/util/Misc.c
+++ b/src/util/Misc.c
@@ -10,8 +10,6 @@
 
 /*#define DEBUG_MISC*/
 
-/*#include "cctk.h"*/
-
 #include <stdio.h>
 #include <stdlib.h>
 #include <string.h>
@@ -24,6 +22,7 @@
 
 #include "cctk_GNU.h"
 
+#include "cctk_Flesh.h"
 #include "cctk_Config.h"
 #include "cctk_Misc.h"
 #include "cctk_FortranString.h"
@@ -31,6 +30,9 @@
 
 static char *rcsid = "$Header$";
 
+CCTK_FILEVERSION(util_Misc_c)
+
+
 int CCTK_RegexMatch(const char *string, 
                     const char *pattern, 
                     const int nmatch,