diff --git a/src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp b/src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp index c0a82e583..d1dc5a369 100644 --- a/src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp +++ b/src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp @@ -454,7 +454,7 @@ namespace { HybridSylvanNativeRationalSearchEnvironment, DdSylvanNativePowerEnvironment, DdCuddNativeJacobiEnvironment //, - // DdSylvanRationalSearchEnvironment + DdSylvanRationalSearchEnvironment > TestingTypes; TYPED_TEST_CASE(DtmcPrctlModelCheckerTest, TestingTypes);