diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2016-11-20 15:40:40 +0100 |
|---|---|---|
| committer |  Maxime Dénès <mail@maximedenes.fr> | 2016-12-02 15:22:15 +0100 |
| commit | 00f1839a2cee1cb1fa4dc207391c4a5bb588f71a (patch) | |
| tree | 8fce5c069c8e928410d03a22c832d58f853c0f74 /plugins/firstorder/g_ground.ml4 | |
| parent | 1c5e311d6a92deb66ba412c56516a4b71a513e01 (diff) | |
Fixing space in printing several list of implicit arguments.
Diffstat (limited to 'plugins/firstorder/g_ground.ml4')
0 files changed, 0 insertions, 0 deletions