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 40f2da045..4306cd731 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 CVC5 { +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; -} // namespace CVC5 +} // namespace cvc5 #endif /* CVC4__BIN_HEAP_H */ |