tree 638727400df538a5110e65a5f3dd9fe5c54085b3
parent 43d7204a03f464eba9bb6532554b4baae24be0d6
author Christian W. Damus <give.a.damus@gmail.com> 1331920188 -0400
committer Kenn Hussey <Kenn.Hussey@gmail.com> 1332116597 -0400

Enable substitution label providers for problem messages in the DelegatingConstraintProvider.