From 75862b96afd73704bc56f52ef2375d128ad53150 Mon Sep 17 00:00:00 2001
From: notin
Date: Wed, 4 Oct 2006 12:51:40 +0000
Subject: Correction bug #1236

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9203 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/refman/Polynom.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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}
-- 
cgit v1.2.3