diff options
Diffstat (limited to 'src/main.c')
-rw-r--r-- | src/main.c | 4 |
1 files changed, 1 insertions, 3 deletions
@@ -47,7 +47,7 @@ static char *read_path(const char *path) int main(int argc, char *argv[]) { -#if DEBUG +#ifdef DEBUG debug_enable(1); #endif @@ -64,9 +64,7 @@ int main(int argc, char *argv[]) schedule_sync_priorities(); - /* map_dump(map_all_terms()); */ debug("reducing...\n"); - schedule(); map_dump(map_all_terms(), 0); |