From 38cc9b126581acbe592b691d4a2edd78b5f46294 Mon Sep 17 00:00:00 2001
From: Matthias Volk <matthias.volk@cs.rwth-aachen.de>
Date: Fri, 4 Aug 2017 10:27:27 +0200
Subject: [PATCH] Fixed typo in doc

---
 src/storm/storage/expressions/Variable.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storm/storage/expressions/Variable.h b/src/storm/storage/expressions/Variable.h
index 83ee9a13e..8a51df376 100644
--- a/src/storm/storage/expressions/Variable.h
+++ b/src/storm/storage/expressions/Variable.h
@@ -130,9 +130,9 @@ namespace storm {
             bool hasRationalType() const;
 
             /*!
-             * Checks whether the variable is of boolean type.
+             * Checks whether the variable is of numerical type.
              *
-             * @return True iff the variable if of boolean type.
+             * @return True iff the variable if of numerical type.
              */
             bool hasNumericalType() const;