diff --git a/tests/gtest_eval3.cpp b/tests/gtest_eval3.cpp index f0e51fa23e879979e43ebf56d52fecb96ccd520c..6aa99ab4f4d7f616d3e5e82b5b5b09a02b8433df 100644 --- a/tests/gtest_eval3.cpp +++ b/tests/gtest_eval3.cpp @@ -36,7 +36,7 @@ TEST(Eval3, Test3) { AST ast("AG(close ∨ off)"); FSM fsm(model3); EXPECT_TRUE(evaluate_formula(ast, fsm)); -}} +} TEST(Eval3, Test4) { AST ast("EF(open ∧ on)");