From 4cf05796bdc7d48590f368c2706a6ffa1fa112d2 Mon Sep 17 00:00:00 2001
From: Michael Soegtrop
Date: Fri, 17 Jan 2020 20:36:12 +0100
Subject: Add file to register names of reals library used by gappa

---
 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 51688e2d9e..0f05237036 100644
--- a/doc/stdlib/index-list.html.template
+++ b/doc/stdlib/index-list.html.template
@@ -595,6 +595,7 @@ through the <tt>Require Import</tt> command.</p>
     theories/Reals/SeqSeries.v
     theories/Reals/Sqrt_reg.v
     theories/Reals/Rlogic.v
+    theories/Reals/Rregisternames.v
     (theories/Reals/Reals.v)
     theories/Reals/Runcountable.v
   </dd>
-- 
cgit v1.2.3