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 ce6412573..e616db3b9 100644 --- a/src/theory/arith/error_set.h +++ b/src/theory/arith/error_set.h @@ -87,10 +87,10 @@ public: // // typedef FocusSet::handle_type FocusSetHandle; -typedef __gnu_pbds::priority_queue< +typedef CVC4_PB_DS_NAMESPACE::priority_queue< ArithVar, ComparatorPivotRule, - __gnu_pbds::pairing_heap_tag> FocusSet; + CVC4_PB_DS_NAMESPACE::pairing_heap_tag> FocusSet; typedef FocusSet::point_iterator FocusSetHandle; |