diff options
| -rw-r--r-- | src/main/flesh.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/flesh.cc b/src/main/flesh.cc index 5d7653e3..8783b6f3 100644 --- a/src/main/flesh.cc +++ b/src/main/flesh.cc @@ -14,7 +14,7 @@ static char *rcsid = "$Header$"; -CCTK_FILEVERSION(main_flesh_cc) +CCTK_FILEVERSION(main_flesh_cc); /*@@ @routine main |