Parenting is still needed

I was certainly dumb.

This reverts commit ec2be68120e48c75b0acd2bdfb5cc8d931c70cfd.

1 files changed, 1 insertions, 5 deletions

diff --git a/src/schedule.c b/src/schedule.c
index 2a7a7c4..407c6e0 100644
--- a/src/schedule.c
+++ b/src/schedule.c
@@ -63,10 +63,6 @@ void schedule_add(struct term *term)
 	if (!term_is_beta_redex(term))
 		return;
 
-	fprintf(stderr, "added ");
-	term_print(term);
-	fprintf(stderr, "\n");
-
 	set_pri(term, calculate_priority(term));
 	pqueue_insert(queue, term);
 }
@@ -82,7 +78,7 @@ void schedule_remove(struct term *term)
 
 void schedule(void)
 {
-	while (pqueue_size(queue)) {
+	while (pqueue_size(queue) > 1) {
 		fprintf(stderr, "queue size: %zu\n", pqueue_size(queue));
 		map_dump(map_all_terms());