From fe014aaceb1c6f251c060c30393b1064787b9cb5 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Tue, 19 Jan 2021 20:40:54 +0100
Subject: [PATCH] Fixed typo

---
 src/storm-dft/storage/BucketPriorityQueue.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/storm-dft/storage/BucketPriorityQueue.cpp b/src/storm-dft/storage/BucketPriorityQueue.cpp
index ceafc00fb..5e4330e3b 100644
--- a/src/storm-dft/storage/BucketPriorityQueue.cpp
+++ b/src/storm-dft/storage/BucketPriorityQueue.cpp
@@ -193,7 +193,7 @@ namespace storm {
             for (size_t bucket = 0; bucket < buckets.size(); ++bucket) {
                 out << buckets[bucket].size() << " ";
             }
-            std::cout << std::endl;
+            out << std::endl;
         }
 
         // Template instantiations