From 8a192b734e468efb758bd7ae8d843cc02f024454 Mon Sep 17 00:00:00 2001 From: Marvin Borner Date: Wed, 15 Nov 2023 14:25:31 +0100 Subject: More testing --- src/main.c | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) (limited to 'src/main.c') 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); -- cgit v1.2.3