From cbd709f0cde067d6b9e8a3e753c146e78a11e363 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Wed, 8 Aug 2018 12:26:10 +0200
Subject: [PATCH] Fixed assertion

---
 .../counterexamples/SMTMinimalLabelSetGenerator.h               | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm-counterexamples/counterexamples/SMTMinimalLabelSetGenerator.h b/src/storm-counterexamples/counterexamples/SMTMinimalLabelSetGenerator.h
index 1152c3799..624a13205 100644
--- a/src/storm-counterexamples/counterexamples/SMTMinimalLabelSetGenerator.h
+++ b/src/storm-counterexamples/counterexamples/SMTMinimalLabelSetGenerator.h
@@ -37,7 +37,7 @@ namespace storm {
             if (descr.isJaniModel()) {
                 return descr.asJaniModel().getNumberOfEdges();
             } else {
-                assert(descr.isPrismModel());
+                assert(descr.isPrismProgram());
                 return descr.asPrismProgram().getNumberOfCommands();
             }
         }