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();
             }
         }