sdcdb - crash in msvc/win32 during shutdown
Applied in [r9500]
What does this warning 203 mean? If I enable the warning in regression test bug-2423.c...
Fixed in reversion [r9346].
Fixed in reversion [r9499].
I was able to track down the bug. The tree-decomposition was not as nice as it should...
Fixed in revision [r9494].