numbervars not generating letters as variable names

[JeanChristopheRohner]

Good evening :-)

Not sure if this is a bug or not... Running this on swish
test15:- G = parent(_, _), copy_term_nat(G, G1), numbervars(G1, 0, _), writeln(G1).
yieldsparent($VAR(0), $VAR(1)). But shouldn't it be parent(A,B)?

Thanks! JCR

[JeanChristopheRohner]

Never mind; my thinking was incorrect.