aboutsummaryrefslogtreecommitdiff
path: root/src/main.c
diff options
context:
space:
mode:
authorMarvin Borner2023-11-15 14:25:31 +0100
committerMarvin Borner2023-11-15 14:25:31 +0100
commit8a192b734e468efb758bd7ae8d843cc02f024454 (patch)
tree5c4454c0048772d9f1bd27d55ede9cb16dfe733e /src/main.c
parent9bc17a207a9d5c65509a51f57412c8e28b843330 (diff)
More testingHEADaggressive
Diffstat (limited to 'src/main.c')
-rw-r--r--src/main.c4
1 files changed, 1 insertions, 3 deletions
diff --git a/src/main.c b/src/main.c
index 10c9572..33d9d19 100644
--- a/src/main.c
+++ b/src/main.c
@@ -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);