diff options
Diffstat (limited to 'src/CheckParameters.cc')
| -rw-r--r-- | src/CheckParameters.cc | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/CheckParameters.cc b/src/CheckParameters.cc index f0f6fdb..04a151a 100644 --- a/src/CheckParameters.cc +++ b/src/CheckParameters.cc @@ -10,6 +10,9 @@ #include "cctk.h" #include "cctk_parameters.h" #include "cctk_arguments.h" +#include "cctk_Groups.h" +#include "cctk_Misc.h" +#include "cctk_WarnLevel.h" static char *rcsid = "$Header$"; |