diff options
Diffstat (limited to 'src/theory/arith/error_set.h')
-rw-r--r-- | src/theory/arith/error_set.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/theory/arith/error_set.h b/src/theory/arith/error_set.h index 4788d2697..acfe526a6 100644 --- a/src/theory/arith/error_set.h +++ b/src/theory/arith/error_set.h @@ -85,10 +85,10 @@ private: // // typedef FocusSet::handle_type FocusSetHandle; -// typedef CVC4_PB_DS_NAMESPACE::priority_queue< +// typedef CVC5_PB_DS_NAMESPACE::priority_queue< // ArithVar, // ComparatorPivotRule, -// CVC4_PB_DS_NAMESPACE::pairing_heap_tag> FocusSet; +// CVC5_PB_DS_NAMESPACE::pairing_heap_tag> FocusSet; // typedef FocusSet::point_iterator FocusSetHandle; |