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;