diff options
| author |  Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-11-22 17:16:23 +0100 |
|---|---|---|
| committer | Hugo Herbelin <Hugo.Herbelin@inria.fr> | 2014-11-22 19:23:32 +0100 |
| commit | 250afa5b896a7e8ab5971667e6889ee3a498dfd3 (patch) | |
| tree | d20c1083a60ce6ea92db2aa5f73fda4a84af3051 /tools/gallina.el | |
| parent | 93c7fc0e58c8d510392b6ef95d9196e92925edb4 (diff) | |
Removing superfluous newlines in setoid_rewrite error message.
Diffstat (limited to 'tools/gallina.el')
0 files changed, 0 insertions, 0 deletions