Error message modifications for the new constraint solver.

Authored by Dimitrios Vytiniotis <dimitris@microsoft.com> on Nov 16 2011, 9:52 AM.

Description

Error message modifications for the new constraint solver.

Details

Committed
Dimitrios Vytiniotis <dimitris@microsoft.com>Nov 16 2011, 9:52 AM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFFefb1debac24e: tweak readme
Branches
Unknown
Tags
Unknown
Dimitrios Vytiniotis <dimitris@microsoft.com> committed rGHCDIFF83e84e35ab4b: Error message modifications for the new constraint solver. (authored by Dimitrios Vytiniotis <dimitris@microsoft.com>).Nov 16 2011, 9:52 AM