From 337ec809393b709b36ca7b64d77489ae4bc1af1c Mon Sep 17 00:00:00 2001
From: Marvin Borner
Date: Sat, 27 May 2023 09:44:14 +0200
Subject: More scheduling and probabilisticity

---
 src/map.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

(limited to 'src/map.c')

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;
-- 
cgit v1.2.3