diff options
| -rw-r--r-- | ide/coqide.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/ide/coqide.ml b/ide/coqide.ml index cdd1a9e489..165d7b080e 100644 --- a/ide/coqide.ml +++ b/ide/coqide.ml @@ -1440,6 +1440,7 @@ let read_coqide_args argv = output_string stderr "Error: missing argument after -coqtop"; exit 1 |"-debug"::args -> Minilib.debug := true; + Backtrace.record_backtrace true; filter_coqtop coqtop project_files ("-debug"::out) args |arg::args -> filter_coqtop coqtop project_files (arg::out) args |[] -> (coqtop,List.rev project_files,List.rev out) |