diff --git a/tests/TestSimplification.cpp b/tests/TestSimplification.cpp index 6670897..32dd22d 100644 --- a/tests/TestSimplification.cpp +++ b/tests/TestSimplification.cpp @@ -7,7 +7,7 @@ //////////////////////////////////////////////////////////////////////////////////////////////////// -TEST_CASE("[simplification] Rules are simplified correctly", "[simplified]") +TEST_CASE("[simplification] Rules are simplified correctly", "[simplification]") { std::stringstream input; std::stringstream output;