From 42c5e4cc7dd34232d5e73192d989ea1cdb24b33f Mon Sep 17 00:00:00 2001
From: Erik Martin-Dorel
Date: Fri, 1 May 2020 02:25:40 +0200
Subject: test: Slightly increase 'ert-batch-backtrace-right-margin

---
 ci/coq-tests.el | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ci/coq-tests.el b/ci/coq-tests.el
index 4a620aa5..6d9a87ec 100644
--- a/ci/coq-tests.el
+++ b/ci/coq-tests.el
@@ -13,6 +13,7 @@
     (error "You should set 'coq-test-dir, or run coq-test.el from a file buffer.")))
 
 (setq debug-on-error t) ; open the debugger on error -- may be commented-out
+(setq ert-batch-backtrace-right-margin 79)
 
 (require 'subr-x) ;; for (string-trim)
 ;;(require 'ert-async)
-- 
cgit v1.2.3