diff options
| author | Marvin Borner | 2023-06-01 23:08:07 +0200 |
|---|---|---|
| committer | Marvin Borner | 2023-06-01 23:08:07 +0200 |
| commit | c9b0537a1f04c8a28e1f9aa9a6112a1e59653eea (patch) | |
| tree | ec403ce89057acf409ac8ccb21c0538d207f5a47 /src/schedule.c | |
| parent | c062eaeea09592cbdf7e5d732e992d0cdd8eedc5 (diff) | |
Some work on derefs
Diffstat (limited to 'src/schedule.c')
| -rw-r--r-- | src/schedule.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/schedule.c b/src/schedule.c index 93cd700..1362b1e 100644 --- a/src/schedule.c +++ b/src/schedule.c @@ -69,6 +69,8 @@ void schedule_add(struct term *term) void schedule(void) { while (pqueue_size(queue) > 0) { + map_dump(map_all_terms()); + // TODO: check finished programs size_t position = choose_position(); struct term *term = pqueue_pop_at(queue, position); |