diff options
Diffstat (limited to 'src/prop/bvminisat/mtl/Sort.h')
-rw-r--r-- | src/prop/bvminisat/mtl/Sort.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/prop/bvminisat/mtl/Sort.h b/src/prop/bvminisat/mtl/Sort.h index 1cfa220ab..30b3b5396 100644 --- a/src/prop/bvminisat/mtl/Sort.h +++ b/src/prop/bvminisat/mtl/Sort.h @@ -26,7 +26,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA //================================================================================================= // Some sorting algorithms for vec's -namespace CVC5 { +namespace cvc5 { namespace BVMinisat { template<class T> @@ -94,6 +94,6 @@ template <class T> void sort(vec<T>& v) { //================================================================================================= } // namespace BVMinisat -} // namespace CVC5 +} // namespace cvc5 #endif |