Singular/Sources — pull request #516 by jakobkroeker (2014-02-20 12:38:35+00:00)
Title: ignored assignment may shadow bugs. turned into error

In fact, the warning already did shadow a bug, see
http://www.singular.uni-kl.de:8002/trac/ticket/532
and now it shadowed a bug in Primdec::testPrimary.

Therefore I vote to turn this warning into an error.