From dd73387ed1b6618e0a571709aae4ba6f5a8ce734 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Fri, 6 Jun 2014 19:30:40 +0200
Subject: [PATCH] Add missing case.

Former-commit-id: b30aa3bc0d5af7c8edb2f7f04315bf25bdad22ce
---
 src/storage/expressions/LinearityCheckVisitor.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/storage/expressions/LinearityCheckVisitor.cpp b/src/storage/expressions/LinearityCheckVisitor.cpp
index 9b382ed22..6f595900a 100644
--- a/src/storage/expressions/LinearityCheckVisitor.cpp
+++ b/src/storage/expressions/LinearityCheckVisitor.cpp
@@ -73,6 +73,7 @@ namespace storm {
                     break;
                 case BinaryNumericalFunctionExpression::OperatorType::Min: resultStack.push(LinearityStatus::NonLinear); break;
                 case BinaryNumericalFunctionExpression::OperatorType::Max: resultStack.push(LinearityStatus::NonLinear); break;
+                case BinaryNumericalFunctionExpression::OperatorType::Power: resultStack.push(LinearityStatus::NonLinear); break;
             }
         }