diff options
| author | Hugo Herbelin | 2015-01-05 11:09:56 +0100 |
|---|---|---|
| committer | Hugo Herbelin | 2015-01-07 18:39:27 +0100 |
| commit | b185f9917a8b6fcea775925147f24839f81288a7 (patch) | |
| tree | 260d3bf664482e9ecacfe3dabe606df7dfa4fdc0 /plugins/syntax/string_syntax.ml | |
| parent | b721d1352e9a2650921ae06aa434ec5e39fa578e (diff) | |
Aligning printing of universe constraints.
Diffstat (limited to 'plugins/syntax/string_syntax.ml')
0 files changed, 0 insertions, 0 deletions