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

Former-commit-id: f4753a5da8dd1fd5b29fec9d4863d6287f9b9563 [formerly 814c7e17462f44be9e27e8b7b86ca971ecc170c9]
Former-commit-id: 09599c83f0439d0e19966e9dada47b94ec454b61
---
 src/adapters/CarlAdapter.h | 9 +++++++++
 1 file changed, 9 insertions(+)

diff --git a/src/adapters/CarlAdapter.h b/src/adapters/CarlAdapter.h
index d5cc0ce5c..29e46f109 100644
--- a/src/adapters/CarlAdapter.h
+++ b/src/adapters/CarlAdapter.h
@@ -7,7 +7,16 @@
 #include <boost/multiprecision/gmp.hpp>
 
 #ifdef STORM_HAVE_CLN
+#pragma clang diagnostic push
+#pragma clang diagnostic ignored "-Wmismatched-tags"
+
+#pragma GCC diagnostic push
+
 #include <cln/cln.h>
+
+#pragma GCC diagnostic pop
+#pragma clang diagnostic pop
+
 #endif
 
 #ifdef STORM_HAVE_CARL