diff options
Diffstat (limited to 'src/util/bin_heap.h')
| -rw-r--r-- | src/util/bin_heap.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/util/bin_heap.h b/src/util/bin_heap.h index c51600122..40f2da045 100644 --- a/src/util/bin_heap.h +++ b/src/util/bin_heap.h @@ -29,7 +29,7 @@ #include "base/check.h" #include "base/exception.h" -namespace CVC4 { +namespace CVC5 { /** * BinaryHeap that orders its elements greatest-first (i.e., in the opposite @@ -363,6 +363,6 @@ private: template <class Elem, class CmpFcn> const size_t BinaryHeap<Elem,CmpFcn>::MAX_SIZE = (std::numeric_limits<size_t>::max()-2)/2; -}/* CVC4 namespace */ +} // namespace CVC5 #endif /* CVC4__BIN_HEAP_H */ |