diff options
Diffstat (limited to 'test/unit/api/grammar_black.cpp')
-rw-r--r-- | test/unit/api/grammar_black.cpp | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/unit/api/grammar_black.cpp b/test/unit/api/grammar_black.cpp index 96ad29503..9c1f750b8 100644 --- a/test/unit/api/grammar_black.cpp +++ b/test/unit/api/grammar_black.cpp @@ -16,7 +16,7 @@ #include "test_api.h" -namespace CVC5 { +namespace cvc5 { using namespace api; @@ -122,4 +122,4 @@ TEST_F(TestApiBlackGrammar, addAnyVariable) ASSERT_THROW(g1.addAnyVariable(start), CVC4ApiException); } } // namespace test -} // namespace CVC5 +} // namespace cvc5 |