diff options
| -rw-r--r-- | doc/refman/Polynom.tex | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/refman/Polynom.tex b/doc/refman/Polynom.tex index 0b8e094522..ee2cf38d3c 100644 --- a/doc/refman/Polynom.tex +++ b/doc/refman/Polynom.tex @@ -297,7 +297,7 @@ tactic we used \Coq\ as a programming language and also as a proof environment to build a tactic and to prove it correctness. The interested reader is strongly advised to have a look at the file -\texttt{Ring_polynom.v}. Here a type for polynomials is defined: +\texttt{Ring\_polynom.v}. Here a type for polynomials is defined: \begin{small} \begin{flushleft} |