From 6db2886624717f92fbff1b5624831f4e55a2c07c Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@rwth-aachen.de>
Date: Wed, 1 Jun 2016 14:47:16 +0200
Subject: [PATCH] small fix

Former-commit-id: 92995bf01f4ebb1fff15ca7d49489298f2a8bd7e
---
 src/adapters/HyproAdapter.h      | 6 +-----
 src/storage/geometry/Halfspace.h | 6 ++++--
 2 files changed, 5 insertions(+), 7 deletions(-)

diff --git a/src/adapters/HyproAdapter.h b/src/adapters/HyproAdapter.h
index 33ca968eb..e041b6881 100644
--- a/src/adapters/HyproAdapter.h
+++ b/src/adapters/HyproAdapter.h
@@ -25,11 +25,7 @@ namespace storm {
             
         template <typename T>
         hypro::vector_t<T> toHypro(std::vector<T> const& v) {
-            hypro::vector_t<T> res(v.size());
-            for ( auto const& value : v){
-                res << value;
-            }
-            return res;
+            return hypro::vector_t<T>::Map(v.data(), v.size());
         }
         
         template <typename T>
diff --git a/src/storage/geometry/Halfspace.h b/src/storage/geometry/Halfspace.h
index 7ebd599cc..0db210b0e 100644
--- a/src/storage/geometry/Halfspace.h
+++ b/src/storage/geometry/Halfspace.h
@@ -45,11 +45,13 @@ namespace storm {
                         if(it != normalVector().begin()){
                             stream << ", ";
                         }
+                        std::stringstream numberStream;
                         if(numbersAsDouble) {
-                            stream << std::setw(10) << storm::utility::convertNumber<double>(*it);
+                            numberStream << storm::utility::convertNumber<double>(*it);
                         } else {
-                            stream << std::setw(10) << *it;
+                            numberStream << *it;
                         }
+                        stream << std::setw(10) << numberStream.str();
                     }
                     stream << ") * x <= " << offset();
                     return stream.str();