From 05a53a2ac405bcd18a84024247145f161809c3b0 Mon Sep 17 00:00:00 2001
From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Thu, 1 Apr 2021 09:56:14 -0700
Subject: Rename namespace CVC5 to cvc5. (#6258)

---
 examples/simple_vc_cxx.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'examples/simple_vc_cxx.cpp')

diff --git a/examples/simple_vc_cxx.cpp b/examples/simple_vc_cxx.cpp
index b6890e6ef..b97b86bb8 100644
--- a/examples/simple_vc_cxx.cpp
+++ b/examples/simple_vc_cxx.cpp
@@ -20,7 +20,7 @@
 
 #include <iostream>
 
-using namespace CVC5::api;
+using namespace cvc5::api;
 
 int main() {
   Solver slv;
-- 
cgit v1.2.3