Update user doc references to fix build error

kind2-mc · May 9, 2024 · 5560c97 · 5560c97
1 parent 14f1ffb
commit 5560c97
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 2 deletions.
diff --git a/doc/usr/source/2_input/4_refinement_types.rst b/doc/usr/source/2_input/4_refinement_types.rst
@@ -1,4 +1,4 @@
-.. _2_input/3_machine_ints:
+.. _2_input/4_refinement_types:
 
 
 Refinement Types

diff --git a/doc/usr/source/index.rst b/doc/usr/source/index.rst
@@ -22,8 +22,10 @@ Table of Contents
     :caption: Inputs and Outputs
 
     2_input/1_lustre
-    2_input/3_machine_ints
     2_input/2_arrays
+    2_input/3_machine_ints
+    2_input/4_refinement_types
+    2_input/5_enums
     3_output/2_machine_readable
     3_output/3_exit_codes