diff options
| author | Pierre-Marie Pédrot | 2013-12-22 17:56:44 +0100 |
|---|---|---|
| committer | Pierre-Marie Pédrot | 2013-12-22 17:56:44 +0100 |
| commit | a1404eb5ab24e8cf61a69eda04ff65088dcd2846 (patch) | |
| tree | 79a36e02c17b11d47dbc4274e2a1eb3fa0174bde /tools | |
| parent | f9107a2ac358e161c5312984748d80c33db24ef0 (diff) | |
Adding -bt to coqc.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/coqc.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/coqc.ml b/tools/coqc.ml index dc5ad4d503..89ab64b67d 100644 --- a/tools/coqc.ml +++ b/tools/coqc.ml @@ -112,7 +112,7 @@ let parse_args () = (* Options for coqtop : a) options with 0 argument *) - | ("-notactics"|"-debug"|"-nolib"|"-boot"|"-time" + | ("-notactics"|"-bt"|"-debug"|"-nolib"|"-boot"|"-time" |"-batch"|"-noinit"|"-nois"|"-noglob"|"-no-glob" |"-q"|"-full"|"-profile"|"-just-parsing"|"-echo" |"-unsafe"|"-quiet" |"-silent"|"-m"|"-xml"|"-v7"|"-v8"|"-beautify"|"-strict-implicit" |