More scheduling and probabilisticity

1 files changed, 3 insertions, 1 deletions

diff --git a/src/map.c b/src/map.c
index d0793a2..1862c9c 100644
--- a/src/map.c
+++ b/src/map.c
@@ -62,7 +62,9 @@ struct pqueue *map_to_pqueue(pqueue_cmp_pri_f cmppri, pqueue_get_pri_f getpri,
 	void *iter_val;
 	while (hashmap_iter(all_terms, &iter, &iter_val)) {
 		struct term *term = *(struct term **)iter_val;
-		pqueue_insert(queue, term);
+		if (term->type == APP) {
+			pqueue_insert(queue, term);
+		}
 	}
 
 	return queue;