From 81662f5ab4eeb5ef9c7380d9d961d923d3c611c6 Mon Sep 17 00:00:00 2001
From: TimQu <tim.quatmann@web.de>
Date: Sat, 28 May 2016 17:31:57 +0200
Subject: [PATCH] Fixed some comments in utility::vector

Former-commit-id: 2c8d6f2bb6c314aee3dc055cfaea6db464cb6c02
---
 src/utility/vector.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/utility/vector.h b/src/utility/vector.h
index 0a4da1e03..d632a7b4a 100644
--- a/src/utility/vector.h
+++ b/src/utility/vector.h
@@ -67,7 +67,7 @@ namespace storm {
             }
 
             /*!
-             * Constructs a vector [min, min+1, ...., max]
+             * Constructs a vector [min, min+1, ...., max-1]
              */
             inline std::vector<uint_fast64_t> buildVectorForRange(uint_fast64_t min, uint_fast64_t max) {
                 STORM_LOG_ASSERT(min < max, "Invalid range.");
@@ -336,7 +336,7 @@ namespace storm {
             }
             
             /*!
-             * Subtracts the two given vectors and writes the result into the first operand.
+             * Multiplies each element of the given vector with the given factor and writes the result into the vector.
              *
              * @param target The first summand and target vector.
              * @param summand The second summand.