> On 9 Apr 2018, at 17:04, Frank Heckenbach <f.heckenb...@fh-soft.de> wrote: > >> The option >> %define extra_header_prefix {calc-c++17-} >> does not seem to work: I got both location.hh and position.hh. > > Ah, sorry, I think you need to apply my original patch from > > http://lists.gnu.org/archive/html/bug-bison/2018-03/msg00058.html > > as well. It patches location.cc which is otherwise unchanged in the > new skeleton. I will clarify this.
Also position.hh differs on the namespace chosen.