diff options
author | Marvin Borner | 2023-11-15 14:25:31 +0100 |
---|---|---|
committer | Marvin Borner | 2023-11-15 14:25:31 +0100 |
commit | 8a192b734e468efb758bd7ae8d843cc02f024454 (patch) | |
tree | 5c4454c0048772d9f1bd27d55ede9cb16dfe733e /src/main.c | |
parent | 9bc17a207a9d5c65509a51f57412c8e28b843330 (diff) |
More testingHEADaggressive
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); |