Update tests/mintermization.cc

Co-authored-by: David Chocholatý <[email protected]>
VeriFIT · Oct 7, 2023 · 2815fd6 · 2815fd6
1 parent 8ce5282
commit 2815fd6
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tests/mintermization.cc b/tests/mintermization.cc
@@ -23,7 +23,7 @@
 
 using namespace mata::parser;
 
-TEST_CASE("Mata::Mintermization::trans_to_vars_nfa")
+TEST_CASE("mata::Mintermization::trans_to_vars_nfa")
 {
     Parsed parsed;
     mata::Mintermization<mata::BDDDomain> mintermization{};