label for #112

math-comp · Feb 14, 2021 · f919d0f · f919d0f
1 parent 3d3c3fa
commit f919d0f
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/tex/ch0.tex b/tex/ch0.tex
@@ -183,6 +183,8 @@ \subsection*{Conventions}
 like \lib{ssreflect} or \lib{fintype}.
 
 \subsection*{Running examples in the \Coq{} system}
+\label{ssec:runcoq}
+
 The contents of this book is mostly about interacting with a computer
 program consisting of the \Coq{} system and the \mcbMC{} library.  Many
 examples are given, and we advise readers to experiment with this program,