From 5536bac4a1169b155281d4eefd37e88a2be5222e Mon Sep 17 00:00:00 2001 From: Alexandre Duret-Lutz Date: Fri, 9 Jan 2015 14:57:58 +0100 Subject: [PATCH] dstarparse, hoaparse: rename inline namespace to please clang 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. --- src/dstarparse/dstarparse.yy | 2 +- src/hoaparse/hoaparse.yy | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/dstarparse/dstarparse.yy b/src/dstarparse/dstarparse.yy index ad599d310..07332c546 100644 --- a/src/dstarparse/dstarparse.yy +++ b/src/dstarparse/dstarparse.yy @@ -34,7 +34,7 @@ #include "ltlast/constant.hh" #include "public.hh" - inline namespace dstaryy + inline namespace dstaryy_support { typedef std::map map_t; diff --git a/src/hoaparse/hoaparse.yy b/src/hoaparse/hoaparse.yy index dabe20e36..a3375b719 100644 --- a/src/hoaparse/hoaparse.yy +++ b/src/hoaparse/hoaparse.yy @@ -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