diff options
| author | Matthieu Sozeau | 2014-09-15 12:12:41 +0200 |
|---|---|---|
| committer | Matthieu Sozeau | 2014-09-15 12:16:52 +0200 |
| commit | e2c0cd1cb7fd06ef37f87f64e1164766820c16ea (patch) | |
| tree | 304136bb445837742e6b4208ec0bfaf41a062bab /printing/printer.ml | |
| parent | 92682297f528c3570dc8449118d2f2cd2be7cc53 (diff) | |
Avoid backtracking in typeclass search if a solution for a closed
non-dependent or propositional constraint has already been found
(same behavior as before previous patch).
Diffstat (limited to 'printing/printer.ml')
0 files changed, 0 insertions, 0 deletions