Format >:(

moves-rwth · Nov 29, 2024 · 05c7b2f · 05c7b2f
1 parent d87be08
commit 05c7b2f
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/src/test/storm-pars/transformer/IntervalEndComponentPreserverTest.cpp b/src/test/storm-pars/transformer/IntervalEndComponentPreserverTest.cpp
@@ -121,7 +121,6 @@ class IntervalEndComponentPreserverTest : public ::testing::Test {
     }
 };
 
-
 TEST(IntervalEndComponentPreserverTest, Simple) {
     std::string programFile = STORM_TEST_RESOURCES_DIR "/pdtmc/only_p.pm";
     std::string formulaAsString = "P=? [F \"target\"]";