diff --git a/src/builder/DdPrismModelBuilder.cpp b/src/builder/DdPrismModelBuilder.cpp
index 4f867f447..ccadd2a9b 100644
--- a/src/builder/DdPrismModelBuilder.cpp
+++ b/src/builder/DdPrismModelBuilder.cpp
@@ -132,8 +132,8 @@ namespace storm {
                     
                     STORM_LOG_WARN_COND(!updateDd.isZero(), "Update '" << update << "' does not have any effect.");
                     
-                    double p = update.getLikelihoodExpression().evaluateAsDouble();
-                    updateDd *= generationInfo.manager->getConstant(p);
+                    storm::dd::Dd<Type> probabilityDd = generationInfo.rowExpressionAdapter->translateExpression(update.getLikelihoodExpression());
+                    updateDd *= probabilityDd;
                     
                     commandDd += updateDd;
                 }