← Back to branch summary

~tapaal-dist-ctl/verifypn/parallel-lockfree

« back to all changes in this revision

Viewing changes to CTL/QueryPriorityQueue.cpp

  • Committer: Samuel Pastva
  • Date: 2016-04-14 13:34:42 UTC
  • Revision ID: daemontus@gmail.com-20160414133442-fi5lju28uf8shlbc
fix termination and priority queue

Show diffs side-by-side

added added

removed removed

Lines of Context:
CTL/QueryPriorityQueue.cpp
9
9
 
10
10
QueryPriorityQueue::~QueryPriorityQueue()
11
11
{
12
 
    delete stacks;
 
12
    delete[] stacks;
13
13
}
14
14
 
15
15
bool QueryPriorityQueue::empty()