fixed some typos

Former-commit-id: de3cd92c62

src/solver/GmmxxLinearEquationSolver.h

@@ -97,7 +97,7 @@ namespace storm {
             // The preconditioner to use when solving the linear equation system.
             Preconditioner preconditioner;
 
-            // Sets whether the relative or absolute error is to be considered for convergence detection. Not that this
+            // Sets whether the relative or absolute error is to be considered for convergence detection. Note that this
             // only applies to the Jacobi method for this solver.
             bool relative;
 

src/storage/dd/Add.cpp

@@ -112,7 +112,6 @@ namespace storm {
         template<DdType LibraryType, typename ValueType>
         Bdd<LibraryType> Add<LibraryType, ValueType>::greaterOrEqual(Add<LibraryType, ValueType> const& other) const {
             return Bdd<LibraryType>(this->getDdManager(), internalAdd.greaterOrEqual(other), Dd<LibraryType>::joinMetaVariables(*this, other));
-
         }
 
         template<DdType LibraryType, typename ValueType>
@@ -129,7 +128,6 @@ namespace storm {
         template<DdType LibraryType, typename ValueType>
         Add<LibraryType, ValueType> Add<LibraryType, ValueType>::logxy(Add<LibraryType, ValueType> const& other) const {
             return Add<LibraryType, ValueType>(this->getDdManager(), internalAdd.logxy(other), Dd<LibraryType>::joinMetaVariables(*this, other));
-
         }
         
         template<DdType LibraryType, typename ValueType>