From ef938a4ce2c03b1c4f23222a4542ad144a1f209b Mon Sep 17 00:00:00 2001
From: Maxime Dénès
Date: Wed, 8 Jan 2020 13:52:25 +0100
Subject: Factorize ascii extraction in ExtrOcamlChar.v

---
 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 3e53c05439..dbc3a42ee9 100644
--- a/doc/stdlib/hidden-files
+++ b/doc/stdlib/hidden-files
@@ -12,6 +12,7 @@ plugins/extraction/ExtrHaskellZInteger.v
 plugins/extraction/ExtrHaskellZNum.v
 plugins/extraction/ExtrOcamlBasic.v
 plugins/extraction/ExtrOcamlBigIntConv.v
+plugins/extraction/ExtrOcamlChar.v
 plugins/extraction/ExtrOCamlInt63.v
 plugins/extraction/ExtrOCamlFloats.v
 plugins/extraction/ExtrOcamlIntConv.v
-- 
cgit v1.2.3