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<int, bdd> 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