From 5051b9f9f7c55ee2b3378e0d8873dc022f335784 Mon Sep 17 00:00:00 2001
From: Stefan Pranger <stefan.pranger@student.tugraz.at>
Date: Tue, 23 Feb 2021 17:46:11 +0100
Subject: [PATCH] fixed typo

---
 src/storm/logic/ShieldExpression.cpp | 2 +-
 src/storm/logic/ShieldExpression.h   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/storm/logic/ShieldExpression.cpp b/src/storm/logic/ShieldExpression.cpp
index fd09b28fd..d17cc85de 100644
--- a/src/storm/logic/ShieldExpression.cpp
+++ b/src/storm/logic/ShieldExpression.cpp
@@ -22,7 +22,7 @@ namespace storm {
             return type == storm::logic::ShieldingType::PostSafety;
         }
 
-        bool ShieldExpression::isOptiomalShield() const {
+        bool ShieldExpression::isOptimalShield() const {
             return type == storm::logic::ShieldingType::Optimal;
         }
 
diff --git a/src/storm/logic/ShieldExpression.h b/src/storm/logic/ShieldExpression.h
index eb76740c8..5a7a0cd45 100644
--- a/src/storm/logic/ShieldExpression.h
+++ b/src/storm/logic/ShieldExpression.h
@@ -22,7 +22,7 @@ namespace storm {
             bool isRelative() const;
             bool isPreSafetyShield() const;
             bool isPostSafetyShield() const;
-            bool isOptiomalShield() const;
+            bool isOptimalShield() const;
 
             double getValue() const;