From e1f64f6cf69c4f97c106576d80853b7412ce2b06 Mon Sep 17 00:00:00 2001
From: Pierre Boutillier
Date: Thu, 18 Sep 2014 10:00:14 +0200
Subject: seems to fix a looping coq-tex (when compiled with camlp4)

---
 doc/refman/RefMan-ext.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/refman/RefMan-ext.tex b/doc/refman/RefMan-ext.tex
index 970347422c..f6baa44555 100644
--- a/doc/refman/RefMan-ext.tex
+++ b/doc/refman/RefMan-ext.tex
@@ -717,7 +717,7 @@ each branch.
 
 Function does not support partial application of the function being defined. Thus, the following example cannot be accepted due to the presence of partial application of \ident{wrong} into the body of \ident{wrong}~:
 \begin{coq_example*}
-  Function wrong (C:nat) {\ldots} : nat := 
+  Function wrong (C:nat) : nat := 
     List.hd(List.map wrong (C::nil)).
 \end{coq_example*}
 
-- 
cgit v1.2.3