diff options
| author |  Paul Steckler <steck@stecksoft.com> | 2017-05-01 11:34:00 -0400 |
|---|---|---|
| committer | Paul Steckler <steck@stecksoft.com> | 2017-05-01 11:34:00 -0400 |
| commit | f6856c5022ef27cdc492daadd1301cfcad025b01 (patch) | |
| tree | e886b9ef6667a23460c72b581481b227336b7128 /test-suite/bugs/closed/4544.v | |
| parent | 68fb8e13c44c5ee95dbc9256b1d74c7c83303d2d (diff) | |
remove unneeded -emacs flag to coq-prog-args
Diffstat (limited to 'test-suite/bugs/closed/4544.v')
| -rw-r--r-- | test-suite/bugs/closed/4544.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/bugs/closed/4544.v b/test-suite/bugs/closed/4544.v index da140c931..82f1e3fe7 100644 --- a/test-suite/bugs/closed/4544.v +++ b/test-suite/bugs/closed/4544.v @@ -1,4 +1,4 @@ -(* -*- mode: coq; coq-prog-args: ("-emacs" "-nois" "-indices-matter" "-R" "." "Top" "-top" "bug_oog_looping_rewrite_01") -*- *) +(* -*- mode: coq; coq-prog-args: ("-nois" "-indices-matter" "-R" "." "Top" "-top" "bug_oog_looping_rewrite_01") -*- *) (* File reduced by coq-bug-finder from original input, then from 2553 lines to 1932 lines, then from 1946 lines to 1932 lines, then from 2467 lines to 1002 lines, then from 1016 lines to 1002 lines *) (* coqc version 8.5 (January 2016) compiled on Jan 23 2016 16:15:22 with OCaml 4.01.0 coqtop version 8.5 (January 2016) *) |