diff options
Diffstat (limited to 'src/schedule.c')
| -rw-r--r-- | src/schedule.c | 6 |
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()); |