diff options
| author | Gaëtan Gilbert | 2019-05-07 15:09:26 +0200 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-05-07 15:09:26 +0200 |
| commit | 8bb85530fbf5b6de1cb268004611c6f76fb5871e (patch) | |
| tree | aafb6a002fa14d333d60832e60fcb90ba3990e1e /lib/pp_diff.mli | |
| parent | 403f8784706d54e5e91bf20e56b0bf8ea40f4df3 (diff) | |
Avoid trivial (u=u) constraints in AcyclicGraph.constraints_for
Not sure how often this happens in practice but it seems it could.
Diffstat (limited to 'lib/pp_diff.mli')
0 files changed, 0 insertions, 0 deletions