From 10e94d7104748722afed3dfb643c93ca00155ca5 Mon Sep 17 00:00:00 2001
From: Mavo <matthias.volk@rwth-aachen.de>
Date: Thu, 7 Apr 2016 12:58:39 +0200
Subject: [PATCH] Typo

Former-commit-id: c5f7a6c6033aa4c98228b5266606da78f68eb4cc
---
 .../reachability/SparseDtmcEliminationModelChecker.cpp          | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/modelchecker/reachability/SparseDtmcEliminationModelChecker.cpp b/src/modelchecker/reachability/SparseDtmcEliminationModelChecker.cpp
index ac3254dd4..0f67cca4a 100644
--- a/src/modelchecker/reachability/SparseDtmcEliminationModelChecker.cpp
+++ b/src/modelchecker/reachability/SparseDtmcEliminationModelChecker.cpp
@@ -882,7 +882,7 @@ namespace storm {
                     }
                 }
             }
-            STORM_LOG_THROW(false, storm::exceptions::InvalidSettingsException, "Illlegal elimination order selected.");
+            STORM_LOG_THROW(false, storm::exceptions::InvalidSettingsException, "Illegal elimination order selected.");
         }
         
         template<typename SparseDtmcModelType>