added missing , ...

7 years ago · 85533018a1
1 changed files with 1 additions and 1 deletions
--- a/src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp
@ -453,7 +453,7 @@ namespace {
            HybridCuddNativeSoundPowerEnvironment,
            HybridSylvanNativeRationalSearchEnvironment,
            DdSylvanNativePowerEnvironment,
            DdCuddNativeJacobiEnvironment //,
            DdCuddNativeJacobiEnvironment,
            DdSylvanRationalSearchEnvironment
        > TestingTypes;