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/4673.v | |
| parent | 68fb8e13c44c5ee95dbc9256b1d74c7c83303d2d (diff) | |
remove unneeded -emacs flag to coq-prog-args
Diffstat (limited to 'test-suite/bugs/closed/4673.v')
| -rw-r--r-- | test-suite/bugs/closed/4673.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test-suite/bugs/closed/4673.v b/test-suite/bugs/closed/4673.v index 1ae508185..10e48db6d 100644 --- a/test-suite/bugs/closed/4673.v +++ b/test-suite/bugs/closed/4673.v @@ -1,4 +1,4 @@ -(* -*- mode: coq; coq-prog-args: ("-emacs" "-R" "." "Fiat" "-top" "BooleanRecognizerOptimized" "-R" "." "Top") -*- *) +(* -*- mode: coq; coq-prog-args: ("-R" "." "Fiat" "-top" "BooleanRecognizerOptimized" "-R" "." "Top") -*- *) (* File reduced by coq-bug-finder from original input, then from 2407 lines to 22 lines, then from 528 lines to 35 lines, then from 331 lines to 42 lines, then from 56 lines to 42 lines, then from 63 lines to 46 lines, then from 60 lines to 46 lines *) (* coqc version 8.5 (February 2016) compiled on Feb 21 2016 15:26:16 with OCaml 4.02.3 coqtop version 8.5 (February 2016) *) Axiom proof_admitted : False. |