diff options
Diffstat (limited to 'src/util/SKBinTree.c')
| -rw-r--r-- | src/util/SKBinTree.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/util/SKBinTree.c b/src/util/SKBinTree.c index 70441ada..05710a9c 100644 --- a/src/util/SKBinTree.c +++ b/src/util/SKBinTree.c @@ -15,6 +15,7 @@ #include <ctype.h> #include "SKBinTree.h" +#include "cctk_Flesh.h" int STR_cmpi(const char *string1, const char *string2); @@ -22,6 +23,8 @@ int STR_cmpi(const char *string1, const char *string2); static char *rcsid = "$Header$"; +CCTK_FILEVERSION(util_SKBinTree_c) + /*@@ @routine SKTreeStoreData @date Mon Oct 5 11:04:55 1998 |