diff options
| -rw-r--r-- | src/main/ProcessParameterDatabase.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/main/ProcessParameterDatabase.c b/src/main/ProcessParameterDatabase.c index 6eef75e4..2cf118b8 100644 --- a/src/main/ProcessParameterDatabase.c +++ b/src/main/ProcessParameterDatabase.c @@ -10,6 +10,7 @@ #include <stdio.h> #include "cctk_Flesh.h" +#include "cctk_Parameter.h" #include "ParameterData.h" @@ -19,6 +20,7 @@ CCTK_FILEVERSION(main_ProcessParameterDatabase_c) int ParseFile(FILE *ifp, int (*set_function)(const char *, const char *)); +void CCTKi_SetParameterSetMask(int mask); /*@@ @@ -40,6 +42,8 @@ int CCTKi_ProcessParameterDatabase(tFleshConfig *ConfigData) int retval; FILE *parameter_file; + CCTKi_SetParameterSetMask(PARAMETER_RECOVERY_PRE); + if((parameter_file = fopen(ConfigData->parameter_file_name, "r"))) { ParseFile(parameter_file, CCTKi_SetParameter); |