Re: Bug: duplicate c++ constructors

[Valentin Tolmer]

You could't reproduce it because it was another branch. It's the branch 
called symbol, on my repo. I'll have a look at your suggestions.