1 files changed, 5 insertions, 1 deletions

diff --git a/src/main.c b/src/main.c
index c60ebd2..47e88a9 100644
--- a/src/main.c
+++ b/src/main.c
@@ -59,9 +59,13 @@ int main(int argc, char *argv[])
 	free(orig_term);
 
 	term_print(handle.term);
+	fprintf(stderr, "\n");
 	struct term *new = reduce(handle.term);
-	fprintf(stderr, "\nafter\n");
+	fprintf(stderr, "after\n");
 	term_print(new);
+	fprintf(stderr, "\n");
+
+	map_dump();
 
 	/* schedule_init(); */
 	/* schedule(); */