From 82121a172c246ff33614362be5d740ca51ff7062 Mon Sep 17 00:00:00 2001
From: Théo Zimmermann
Date: Tue, 7 Apr 2020 16:05:51 +0200
Subject: Fix documentation of Print Libraries following #10476.

---
 doc/sphinx/proof-engine/vernacular-commands.rst | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/doc/sphinx/proof-engine/vernacular-commands.rst b/doc/sphinx/proof-engine/vernacular-commands.rst
index b22c5286fe..dacfcb3d5f 100644
--- a/doc/sphinx/proof-engine/vernacular-commands.rst
+++ b/doc/sphinx/proof-engine/vernacular-commands.rst
@@ -668,9 +668,7 @@ file is a particular case of module called *library file*.
 .. cmd:: Print Libraries
 
    This command displays the list of library files loaded in the
-   current |Coq| session. For each of these libraries, it also tells if it
-   is imported.
-
+   current |Coq| session.
 
 .. cmd:: Declare ML Module {+ @string }
 
-- 
cgit v1.2.3