From 94ec1a7aeb2ed02a7d971ac29a84daccdd19f4d5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Daniel=20Basg=C3=B6ze?= <dbasgoeze.github@basgoeze.com>
Date: Wed, 25 Aug 2021 13:50:58 +0200
Subject: [PATCH] Fix print_storm_rational_number

---
 resources/3rdparty/sylvan/src/storm_wrapper.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/resources/3rdparty/sylvan/src/storm_wrapper.cpp b/resources/3rdparty/sylvan/src/storm_wrapper.cpp
index 5e3e78c83..82c67f8f0 100644
--- a/resources/3rdparty/sylvan/src/storm_wrapper.cpp
+++ b/resources/3rdparty/sylvan/src/storm_wrapper.cpp
@@ -357,6 +357,7 @@ void print_storm_rational_number(storm_rational_number_ptr a) {
 #endif
 
     storm::RationalNumber const& srn_a = *static_cast<storm::RationalNumber const*>(a);
+    std::cout << srn_a << std::flush;
 }
 
 void print_storm_rational_number_to_file(storm_rational_number_ptr a, FILE* out) {