diff options
| -rw-r--r-- | src/main/ScheduleInterface.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/main/ScheduleInterface.c b/src/main/ScheduleInterface.c index e267e0b4..d8a02f35 100644 --- a/src/main/ScheduleInterface.c +++ b/src/main/ScheduleInterface.c @@ -2433,7 +2433,7 @@ static int CCTKi_SchedulePrintWhile(int n_whiles, printf(" && "); } - printf(whiles[i]); + printf("%s", whiles[i]); } printf(")\n"); indent_level += 2; @@ -2503,7 +2503,7 @@ static int CCTKi_SchedulePrintIf(int n_ifs, printf(" && "); } - printf(ifs[i]); + printf("%s", ifs[i]); } printf(")\n"); |