From f322149398c5292158615a563c3987e4d0830550 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@rwth-aachen.de>
Date: Thu, 6 Feb 2020 14:58:34 +0100
Subject: [PATCH] export the number of choices into drn

---
 src/storm/utility/DirectEncodingExporter.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storm/utility/DirectEncodingExporter.cpp b/src/storm/utility/DirectEncodingExporter.cpp
index b21b68a91..a5c152994 100644
--- a/src/storm/utility/DirectEncodingExporter.cpp
+++ b/src/storm/utility/DirectEncodingExporter.cpp
@@ -63,6 +63,7 @@ namespace storm {
             }
             os << std::endl;
             os << "@nr_states" << std::endl << sparseModel->getNumberOfStates() << std::endl;
+            os << "@nr_choices" << std::endl << sparseModel->getNumberOfChoices() << std::endl;
             os << "@model" << std::endl;
 
             storm::storage::SparseMatrix<ValueType> const& matrix = sparseModel->getTransitionMatrix();