diff options
Diffstat (limited to 'src/main/Dummies.c')
| -rw-r--r-- | src/main/Dummies.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/main/Dummies.c b/src/main/Dummies.c index 2fed014b..d6c63d54 100644 --- a/src/main/Dummies.c +++ b/src/main/Dummies.c @@ -13,7 +13,7 @@ static const char *rcsid = "$Header$"; -CCTK_FILEVERSION(main_Dummies_c) +CCTK_FILEVERSION(main_Dummies_c); int CCTKi_DummyStorageOn(void *GH, int group) { |