sympy/sympy — pull request #2569 by zanzibar7 (2013-11-02 17:01:49+00:00)
Title: Fixes double-counting bug in constant_renumber

* dsolve((x+1)*f(x).diff(x) - f(x)- 1,f(x)) now returns correctly
* tests in test_constantsimp and test_ode updated
* minor readability editing