From 87df1e3be465fcf0fea2ba3d325aa2cdc8d8fb0d Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Thu, 17 Nov 2016 14:49:45 +0100
Subject: [PATCH] suppress warning in exprtk

Former-commit-id: 37d62c2cd8e867e1c290019fae25300a3fc151ae [formerly 9b5bc92c7d2183ddc53e18939041b70dcb83825a]
Former-commit-id: 9df47fcdb18997c11fa25651ce2c15c18b02600f
---
 .../expressions/ExprtkExpressionEvaluator.h        | 14 ++++++++++----
 1 file changed, 10 insertions(+), 4 deletions(-)

diff --git a/src/storage/expressions/ExprtkExpressionEvaluator.h b/src/storage/expressions/ExprtkExpressionEvaluator.h
index 2ae6800ba..2b4f867ef 100755
--- a/src/storage/expressions/ExprtkExpressionEvaluator.h
+++ b/src/storage/expressions/ExprtkExpressionEvaluator.h
@@ -1,5 +1,4 @@
-#ifndef STORM_STORAGE_EXPRESSIONS_EXPRTKEXPRESSIONEVALUATOR_H_
-#define STORM_STORAGE_EXPRESSIONS_EXPRTKEXPRESSIONEVALUATOR_H_
+#pragma once
 
 #include <memory>
 #include <unordered_map>
@@ -7,7 +6,16 @@
 
 #include "src/storage/expressions/ExpressionEvaluatorBase.h"
 
+#pragma clang diagnostic push
+#pragma clang diagnostic ignored "-Wunused-variable"
+
+#pragma GCC diagnostic push
+
 #include "exprtk.hpp"
+
+#pragma GCC diagnostic pop
+#pragma clang diagnostic pop
+
 #include "src/storage/expressions/ToExprtkStringVisitor.h"
 
 namespace storm {
@@ -64,5 +72,3 @@ namespace storm {
         };
     }
 }
-
-#endif /* STORM_STORAGE_EXPRESSIONS_EXPRTKEXPRESSIONEVALUATOR_H_ */
\ No newline at end of file