diff --git a/src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp b/src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp
index a19b04c9c..2d5973cc0 100644
--- a/src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp
+++ b/src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp
@@ -472,7 +472,7 @@ namespace {
             HybridCuddNativeSoundPowerEnvironment,
             HybridSylvanNativeRationalSearchEnvironment,
             DdSylvanNativePowerEnvironment,
-            DdCuddNativeJacobiEnvironment //,
+            DdCuddNativeJacobiEnvironment,
             DdSylvanRationalSearchEnvironment
         > TestingTypes;