[nongnu] elpa/proof-general aa12db5782 1/2: [minor] silence an Emacs warning about above-80-chars docstring

[ELPA Syncer]

branch: elpa/proof-general
commit aa12db5782d4f12fb0024dcbf9abf183854be070
Author: Gabriel Scherer <gabriel.scherer@gmail.com>
Commit: Gabriel Scherer <gabriel.scherer@gmail.com>

    [minor] silence an Emacs warning about above-80-chars docstring
    
    > ⛔ Warning (comp): proof-site.el:249:2: Warning: defvar 
`proof-general-configured-provers' docstring wider than 80 characters
---
 generic/proof-site.el | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/generic/proof-site.el b/generic/proof-site.el
index 316acfdcb5..e31d52725c 100644
--- a/generic/proof-site.el
+++ b/generic/proof-site.el
@@ -241,8 +241,8 @@ Note: to change proof assistant, you must start a new Emacs 
session.")
       proof-assistants
       (mapcar #'car proof-assistant-table))
   "A list of the configured proof assistants.
-Set on startup to contents of environment variable PROOFGENERAL_ASSISTANTS,
-the Lisp variable `proof-assistants', or the contents of 
`proof-assistant-table'.")
+Set on startup to contents of environment variable PROOFGENERAL_ASSISTANTS, the
+Lisp variable `proof-assistants', or the contents of `proof-assistant-table'.")
 
 ;; Add auto-loads and load-path elements to support the
 ;; proof assistants selected, and define stub major mode functions