diff options
| author |  Maxime Dénès <mail@maximedenes.fr> | 2017-05-02 14:14:24 +0200 |
|---|---|---|
| committer | Maxime Dénès <mail@maximedenes.fr> | 2017-05-02 14:14:24 +0200 |
| commit | 1f2303052c5422699db2ef7673b35fae42108114 (patch) | |
| tree | fe47c8a62a10b4dd47d94fc6ef1add6b538ea54e /test-suite/bugs/closed/4818.v | |
| parent | 97765d26702c536806d01a918150fd3101410e3d (diff) | |
| parent | f6856c5022ef27cdc492daadd1301cfcad025b01 (diff) | |
Merge PR#589: remove unneeded -emacs flag in coq-prog-args in test-suite files
Diffstat (limited to 'test-suite/bugs/closed/4818.v')
| -rw-r--r-- | test-suite/bugs/closed/4818.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/bugs/closed/4818.v b/test-suite/bugs/closed/4818.v index 904abb228..e411ce62f 100644 --- a/test-suite/bugs/closed/4818.v +++ b/test-suite/bugs/closed/4818.v @@ -1,4 +1,4 @@ -(* -*- mode: coq; coq-prog-args: ("-emacs" "-R" "." "Prob" "-top" "Product") -*- *) +(* -*- mode: coq; coq-prog-args: ("-R" "." "Prob" "-top" "Product") -*- *) (* File reduced by coq-bug-finder from original input, then from 391 lines to 77 lines, then from 857 lines to 119 lines, then from 1584 lines to 126 lines, then from 362 lines to 135 lines, then from 149 lines to 135 lines *) (* coqc version 8.5pl1 (June 2016) compiled on Jun 9 2016 17:27:17 with OCaml 4.02.3 coqtop version 8.5pl1 (June 2016) *) |