Browse Source

Merge branch 'future' into menu_games

Former-commit-id: cbea611495
tempestpy_adaptions
dehnert 9 years ago
parent
commit
08d0eb6001
  1. 2
      src/parser/SpiritParserDefinitions.h

2
src/parser/SpiritParserDefinitions.h

@ -2,7 +2,7 @@
#define STORM_PARSER_SPIRITPARSERDEFINITIONS_H_ #define STORM_PARSER_SPIRITPARSERDEFINITIONS_H_
#pragma clang diagnostic push #pragma clang diagnostic push
#pragma clang diagnostic ignored "-Wno-#pragma-messages"
#pragma clang diagnostic ignored "-W#pragma-messages"
// Include boost spirit. // Include boost spirit.
#define BOOST_SPIRIT_USE_PHOENIX_V3 #define BOOST_SPIRIT_USE_PHOENIX_V3

Loading…
Cancel
Save