Singular/Sources — pull request #505 by jakobkroeker (2014-02-07 15:10:01+00:00)
Title: major: turning variable conflict into error

Hello,

i hit again the bug that a variable renaming lead to incorrect result
I will fix the problems in 'primdec.lib',
but in general the only effective way is in my opinion to turn the warning into an error.
Then people (including us) will be forced to fix hardcoded variable names.