diff options
| author | Pierre-Marie Pédrot | 2014-07-21 17:50:47 +0200 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2014-07-21 17:50:47 +0200 |
| commit | 441a23b293da55ce01bb7406ec2f78e0f59b3f1e (patch) | |
| tree | 4f124d3481e5365b105602b5c19559334a90306e /kernel/reduction.ml | |
| parent | 9b6c7b1a50a4ea87877017848b0f6b20c582cf87 (diff) | |
Missing space in pretty-printer
Diffstat (limited to 'kernel/reduction.ml')
0 files changed, 0 insertions, 0 deletions