From e3640bdbbac76807457d50ac60e93192d137f3f9 Mon Sep 17 00:00:00 2001
From: Xavier Leroy
Date: Thu, 11 Jul 2019 09:54:45 +0200
Subject: Hide ExtrOcamlStringPlus.v like the other extraction files

---
 doc/stdlib/hidden-files | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc/stdlib')

diff --git a/doc/stdlib/hidden-files b/doc/stdlib/hidden-files
index b816ef6210..97ff84dd8e 100644
--- a/doc/stdlib/hidden-files
+++ b/doc/stdlib/hidden-files
@@ -18,6 +18,7 @@ plugins/extraction/ExtrOcamlIntConv.v
 plugins/extraction/ExtrOcamlNatBigInt.v
 plugins/extraction/ExtrOcamlNatInt.v
 plugins/extraction/ExtrOcamlString.v
+plugins/extraction/ExtrOcamlStringPlus.v
 plugins/extraction/ExtrOcamlZBigInt.v
 plugins/extraction/ExtrOcamlZInt.v
 plugins/extraction/Extraction.v
-- 
cgit v1.2.3