From a1404eb5ab24e8cf61a69eda04ff65088dcd2846 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sun, 22 Dec 2013 17:56:44 +0100
Subject: Adding -bt to coqc.

---
 tools/coqc.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"
-- 
cgit v1.2.3