From 3d8c7b24ac97e8d714f343cc0e49e8dff9c90aaf Mon Sep 17 00:00:00 2001
From: Guillaume Melquiond
Date: Thu, 2 Apr 2015 16:33:41 +0200
Subject: Fix compilation of documentation broken by the addition of MMapAVL.

---
 doc/stdlib/index-list.html.template | 1 +
 1 file changed, 1 insertion(+)

(limited to 'doc/stdlib')

diff --git a/doc/stdlib/index-list.html.template b/doc/stdlib/index-list.html.template
index 159f8df7f2..024e13413a 100644
--- a/doc/stdlib/index-list.html.template
+++ b/doc/stdlib/index-list.html.template
@@ -476,6 +476,7 @@ through the <tt>Require Import</tt> command.</p>
     theories/MSets/MSetPositive.v
     theories/MSets/MSetToFiniteSet.v
     (theories/MSets/MSets.v)
+    theories/MMaps/MMapAVL.v
     theories/MMaps/MMapFacts.v
     theories/MMaps/MMapInterface.v
     theories/MMaps/MMapList.v
-- 
cgit v1.2.3