Replace in-place instead of removing/readding
authorStefanos A. <stapostol@gmail.com>
Sun, 3 Nov 2013 11:16:07 +0000 (12:16 +0100)
committerStefanos A. <stapostol@gmail.com>
Sun, 3 Nov 2013 11:16:07 +0000 (12:16 +0100)
commit513fa728d0f3aeb6dcfc39ffcf4e66672d1c8093
tree87bcc9c7fab95eed7d8904c5ca9dec2d4c5b18a4
parent39b1f84fc841c167cd6aa7bf8e04d8c8d8d8e798
Replace in-place instead of removing/readding

There is no reason to remove and readd a Constant in order to replace
it in a ConstantCollection. We can actually do that in-place.
Source/Bind/Utilities.cs