1 files changed, 4 insertions, 4 deletions
diff --git a/src/main.c b/src/main.c
index 47e88a9..af1b164 100644
--- a/src/main.c
+++ b/src/main.c
@@ -60,17 +60,17 @@ int main(int argc, char *argv[])
 
 	term_print(handle.term);
 	fprintf(stderr, "\n");
-	struct term *new = reduce(handle.term);
+	reduce(handle.term->u.abs.term);
 	fprintf(stderr, "after\n");
-	term_print(new);
+	term_print(handle.term);
 	fprintf(stderr, "\n");
 
-	map_dump();
+	map_dump(map_all_terms());
 
 	/* schedule_init(); */
 	/* schedule(); */
 	/* schedule_destroy(); */
 
-	map_destroy();
+	map_destroy(map_all_terms());
 	return 0;
 }