From 860a775c1870e9b3d09f0d131ea2f94d6388b1d7 Mon Sep 17 00:00:00 2001
From: gereon <gereon.kremer@rwth-aachen.de>
Date: Thu, 2 May 2013 16:55:59 +0200
Subject: [PATCH] Actually skip modules that do not have commands with current
 label.

---
 src/adapters/ExplicitModelAdapter.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/adapters/ExplicitModelAdapter.cpp b/src/adapters/ExplicitModelAdapter.cpp
index 03a274567..ad69887a0 100644
--- a/src/adapters/ExplicitModelAdapter.cpp
+++ b/src/adapters/ExplicitModelAdapter.cpp
@@ -168,6 +168,7 @@ ExplicitModelAdapter::~ExplicitModelAdapter() {
 			storm::ir::Module const& module = this->program.getModule(i);
 			
 			std::shared_ptr<std::set<uint_fast64_t>> ids = module.getCommandsByAction(action);
+			if (ids->size() == 0) continue;
 			std::list<storm::ir::Command> commands;
 			
 			// Look up commands by their id. Add, if guard holds.