maylencita/CRIOJO — comment on commit 906b8de2d039941fdcc44fa68b9c110b9a32c55c
File:  line 0
By maylencita:

The creation of new names (with Nu()) didn't work well. This commit corrects this bug.