From 4e97d294b314b33de9c0f8dc8260dd27d7a5400f Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Wed, 18 May 2016 19:03:48 +0200
Subject: [PATCH] fixed bug in composition

Former-commit-id: 0efedc3ec13fd264e569a4476a6a97b84e44fbeb
---
 src/builder/DdPrismModelBuilder.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/builder/DdPrismModelBuilder.cpp b/src/builder/DdPrismModelBuilder.cpp
index d34ed80f3..6f56bf41c 100644
--- a/src/builder/DdPrismModelBuilder.cpp
+++ b/src/builder/DdPrismModelBuilder.cpp
@@ -286,7 +286,7 @@ namespace storm {
                     if (synchronizationActionIndices.find(action.first) != synchronizationActionIndices.end()) {
                         // If we are to synchronize over an action that does not exist in the second module, the result
                         // is that the synchronization is the empty action.
-                        if (right.hasSynchronizingAction(action.first)) {
+                        if (!right.hasSynchronizingAction(action.first)) {
                             action.second = emptyAction;
                         } else {
                             // Otherwise, the actions of the modules are synchronized.