From 4f1b8f12f0a5b81c7a9e8ace7a631c08cdae9d58 Mon Sep 17 00:00:00 2001
From: sjunges <sebastian.junges@rwth-aachen.de>
Date: Fri, 1 Jul 2016 15:08:25 +0200
Subject: [PATCH] Extra method

Former-commit-id: 44b165558da3d348f8017cb31700a501b7c8e468
---
 src/utility/macros.h | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/src/utility/macros.h b/src/utility/macros.h
index 9c79fcc4d..b72cf5f26 100644
--- a/src/utility/macros.h
+++ b/src/utility/macros.h
@@ -131,6 +131,11 @@ do {                                            \
     }                                           \
 } while (false)                                 \
 
+#define STORM_GLOBAL_LOGLEVEL_ERROR()               \
+do {                                                \
+storm_runtime_loglevel = STORM_LOGLEVEL_ERROR;      \
+} while(false)
+
 #define STORM_GLOBAL_LOGLEVEL_INFO()                \
 do {                                                \
 storm_runtime_loglevel = STORM_LOGLEVEL_INFO;       \