From 85533018a16f3ddeb6462f4300e549ae9f81f7e9 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@cs.rwth-aachen.de>
Date: Thu, 30 Nov 2017 17:26:59 +0100
Subject: [PATCH] added missing , ...

---
 src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp b/src/test/storm/modelchecker/DtmcPrctlModelCheckerTest.cpp
index d1dc5a369..8e02b7b46 100644
--- 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;