diff options
| author | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-29 10:50:43 -0400 |
|---|---|---|
| committer | Morgan Deters <mdeters@cs.nyu.edu> | 2013-04-29 12:11:41 -0400 |
| commit | bb32f230b1bf822a422efe89f35ac92c8d17c50f (patch) | |
| tree | 34ed1ddaf1660691fed58900f837b7f676fb3fca /src/theory/arith/error_set.h | |
| parent | d0514a37c2bf753ae5da35b2c350f2d681f9a752 (diff) | |
Fixes to FCSimplex for some versions of compilers
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; |