From 2a78ec14a7859054bccd85f812f4fc004c996479 Mon Sep 17 00:00:00 2001
From: Sebastian Junges <sebastian.junges@gmail.com>
Date: Sat, 30 May 2020 19:55:00 -0700
Subject: [PATCH] recent change in qualitative analysis now also realised in
 stormpy

---
 src/pomdp/qualitative_analysis.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/pomdp/qualitative_analysis.cpp b/src/pomdp/qualitative_analysis.cpp
index e5070b5..26d779f 100644
--- a/src/pomdp/qualitative_analysis.cpp
+++ b/src/pomdp/qualitative_analysis.cpp
@@ -53,5 +53,5 @@ void define_qualitative_policy_search_nt(py::module& m) {
 
     py::class_<storm::pomdp::WinningRegion> winningRegion(m, "BeliefSupportWinningRegion");
     winningRegion.def_static("load_from_file", &storm::pomdp::WinningRegion::loadFromFile, py::arg("filepath"));
-    winningRegion.def("store_to_file", &storm::pomdp::WinningRegion::storeToFile, py::arg("filepath"));
+    winningRegion.def("store_to_file", &storm::pomdp::WinningRegion::storeToFile, py::arg("filepath"), py::arg("preamble"), py::arg("append")=false);
 }