In which header is cval() defined?
> On Apr 26, 2017, at 3:00 PM, Kacper Gutowski <mwgam...@gmail.com> wrote: > > On Wed, Apr 26, 2017 at 06:30:34PM +0200, Juergen Sauermann wrote: >> For those of you that can reproduce the problem on their machine, please let >> me >> know if the problem has not disappeared. > > I just compiled 934 and 3J1|23J1 gives 3J1 for me too. > My g++ version is 6.3.0 20170415 on debian sid. > > -k >