diff options
| author | Marvin Borner | 2023-06-01 17:33:56 +0200 |
|---|---|---|
| committer | Marvin Borner | 2023-06-01 17:33:56 +0200 |
| commit | c062eaeea09592cbdf7e5d732e992d0cdd8eedc5 (patch) | |
| tree | 23cdfd41e6a492338c9f902b3a2206a642746530 /inc/map.h | |
| parent | ccd4914d395b5a588868cffaad580c29167e6747 (diff) | |
More scheduling
Diffstat (limited to 'inc/map.h')
| -rw-r--r-- | inc/map.h | 2 |
1 files changed, 0 insertions, 2 deletions
@@ -15,7 +15,5 @@ void map_delete(struct hashmap *map, struct term *term); void map_initialize(void); void map_destroy(struct hashmap *map); void map_dump(struct hashmap *map); // TODO: remove -struct pqueue *map_to_pqueue(struct hashmap *map, pqueue_cmp_pri_f cmppri, - pqueue_get_pri_f getpri, pqueue_set_pos_f set_pos); #endif |