diff options
Diffstat (limited to 'test/unit/parser/parser_black.cpp')
-rw-r--r-- | test/unit/parser/parser_black.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/unit/parser/parser_black.cpp b/test/unit/parser/parser_black.cpp index 1e8e210ca..b6c433663 100644 --- a/test/unit/parser/parser_black.cpp +++ b/test/unit/parser/parser_black.cpp @@ -193,7 +193,7 @@ class TestParserBlackParser : public TestInternal class TestParserBlackCvCParser : public TestParserBlackParser { protected: - TestParserBlackCvCParser() : TestParserBlackParser(LANG_CVC4) {} + TestParserBlackCvCParser() : TestParserBlackParser(LANG_CVC) {} }; TEST_F(TestParserBlackCvCParser, good_inputs) |