diff options
| author | Alasdair Armstrong | 2019-12-06 16:08:08 +0000 |
|---|---|---|
| committer | Alasdair Armstrong | 2019-12-06 16:42:51 +0000 |
| commit | d66f510ba6ab9e453c8410fb7a1cab570dd17236 (patch) | |
| tree | 6c6b5e7b940da44fa508ff62a035e6f6c02724d2 /src/constraint.ml | |
| parent | 4d3c99561eed6016d5f85502ab188be6a80a27c2 (diff) | |
Don't introduce uneccesary control flow when compiling
Diffstat (limited to 'src/constraint.ml')
0 files changed, 0 insertions, 0 deletions