[Mono.CodeContracts] Read debug symbols only when they are going to be used
commit0605fe6928974b4d2cc238341473dd55c7da4ab0
authorMarek Safar <marek.safar@gmail.com>
Tue, 14 Feb 2017 16:04:21 +0000 (14 17:04 +0100)
committerMarek Safar <marek.safar@gmail.com>
Wed, 15 Feb 2017 07:57:52 +0000 (15 08:57 +0100)
tree4057f8b7889ada5b055e96f2f9bd75fe93a9436f
parent1e1016775ef6d6d979f5959b1c3d5d320fcff4d4
[Mono.CodeContracts] Read debug symbols only when they are going to be used
mcs/class/Mono.CodeContracts/Mono.CodeContracts.Rewrite/Rewriter.cs