From 0f8bd821250a285eb8f68521ec38a5121b093d43 Mon Sep 17 00:00:00 2001 From: dehnert Date: Thu, 21 Jan 2016 16:50:14 +0100 Subject: [PATCH] corrected clang pragma Former-commit-id: 1f8a475d9576baad70e2f3c706b5977c5ceb1b6e --- src/parser/SpiritParserDefinitions.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/parser/SpiritParserDefinitions.h b/src/parser/SpiritParserDefinitions.h index b4d1e183d..abd13bc94 100644 --- a/src/parser/SpiritParserDefinitions.h +++ b/src/parser/SpiritParserDefinitions.h @@ -2,7 +2,7 @@ #define STORM_PARSER_SPIRITPARSERDEFINITIONS_H_ #pragma clang diagnostic push -#pragma clang diagnostic ignored "-Wno-#pragma-messages" +#pragma clang diagnostic ignored "-W#pragma-messages" // Include boost spirit. #define BOOST_SPIRIT_USE_PHOENIX_V3