alarsyo/spot
1
0
Fork 0
Code Issues Pull requests Projects Releases Wiki Activity

dstarparse, hoaparse: rename inline namespace to please clang

Browse source 
The namespace dstaryy was declared inline and then reopened as
non-inline.  Likewise for hoayy.  Let's use different names.

* src/dstarparse/dstarparse.yy, src/hoaparse/hoaparse.yy: Here.
This commit is contained in:
Alexandre Duret-Lutz 2015-01-09 14:57:58 +01:00
parent 2460f5d0fb
commit 5536bac4a1
2 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/dstarparse/dstarparse.yy
View file

@ -34,7 +34,7 @@
#include "ltlast/constant.hh"
#include "public.hh"
inline namespace dstaryy
inline namespace dstaryy_support
{
typedef std::map<int, bdd> map_t;

2
src/hoaparse/hoaparse.yy
View file

@ -40,7 +40,7 @@
#include "priv/accmap.hh"
#include "ltlparse/public.hh"
inline namespace hoayy
inline namespace hoayy_support
{
/* Cache parsed formulae. Labels on arcs are frequently identical
and it would be a waste of time to parse them to formula* over and