> 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.
