diff options
| author | Hugo Herbelin | 2016-06-11 15:08:16 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2016-06-12 12:48:26 +0200 |
| commit | 78102fedf6b1dca94cf2695bb1ba2000d4f76db9 (patch) | |
| tree | e9c459f3e9ca5aa2e50a9b8f57c5d25c72a8f5dc /pretyping | |
| parent | f9695eb4bc5b377a02f49ee485d7fe9be122c183 (diff) | |
Fixing bug in printing CannotSolveConstraint (collision of context names).
Diffstat (limited to 'pretyping')
0 files changed, 0 insertions, 0 deletions