Singular/Sources — pull request #508 by jakobkroeker (2014-02-10 17:00:43+00:00)
Title:  option snapshot was taken after ring change. fixed.

bug was detected by

```
option("warn") ;
LIB("ehv.lib");
example primdecEHV;
```