diff options
| author |  Matthieu Sozeau <mattam@mattam.org> | 2016-03-09 17:11:46 +0100 |
|---|---|---|
| committer | Matthieu Sozeau <mattam@mattam.org> | 2016-03-09 17:11:46 +0100 |
| commit | 2788c86e6a3c089aa7450a7768f8444470e35901 (patch) | |
| tree | 0d0b8c13acd54434536c8030f147e1aff2232dbe /kernel/safe_typing.ml | |
| parent | b1e6542af576dc92221c4b4eb3e4c547b5901950 (diff) | |
Fix test-suite file coq-prog-args
They were not parsed correctly with a newline in the middle.
Diffstat (limited to 'kernel/safe_typing.ml')
0 files changed, 0 insertions, 0 deletions