diff options
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/doc.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/doc.tex b/toplevel/doc.tex index 845d5901d..f2550fda1 100644 --- a/toplevel/doc.tex +++ b/toplevel/doc.tex @@ -7,4 +7,4 @@ This chapter describes the highest modules of the \Coq\ system. They are organized as follows: \bigskip -\begin{center}\epsfig{file=pretyping.dep.ps,width=\linewidth}\end{center} +\begin{center}\epsfig{file=toplevel.dep.ps,width=\linewidth}\end{center} |