Commits

Dmitri Gribenko committed d864cfcf3d5M
Merge pull request #556 from dduan/increment_decrement_search_replace replace singular statement ++/-- with += 1/-= 1 for integer variables
Merge pull request #556 from dduan/increment_decrement_search_replace replace singular statement ++/-- with += 1/-= 1 for integer variables