From 887128c20edcc7d9a0e6d7387291fe0ba05a29e5 Mon Sep 17 00:00:00 2001
From: Xavier Leroy
Date: Sun, 8 Dec 2019 19:01:04 +0100
Subject: Rename ExtrOcamlStringPlus into ExtrOcamlNativeString

As suggested during review.  That's a much better name.
---
 doc/stdlib/hidden-files | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/stdlib')

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