diff options
Diffstat (limited to 'src/state.h')
| -rw-r--r-- | src/state.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/state.h b/src/state.h index 878ac6d..2b0fa90 100644 --- a/src/state.h +++ b/src/state.h @@ -62,7 +62,7 @@ struct Pool { void DelayEdge(Edge* edge); /// Pool will add zero or more edges to the ready_queue - void RetrieveReadyEdges(EdgeSet* ready_queue); + void RetrieveReadyEdges(EdgePriorityQueue* ready_queue); /// Dump the Pool and its edges (useful for debugging). void Dump() const; |