diff --git a/src/test/storm/logic/FragmentCheckerTest.cpp b/src/test/storm/logic/FragmentCheckerTest.cpp
index 9f2df5ccd..440adffce 100644
--- a/src/test/storm/logic/FragmentCheckerTest.cpp
+++ b/src/test/storm/logic/FragmentCheckerTest.cpp
@@ -169,6 +169,7 @@ TEST(FragmentCheckerTest, MultiObjective) {
     EXPECT_FALSE(checker.conformsToSpecification(*formula, multiobjective));
 }
 
+
 TEST(FragmentCheckerTest, Rpatl) {
     auto expManager = std::make_shared<storm::expressions::ExpressionManager>();
     storm::logic::FragmentChecker checker;