From 4c336314495ebb0a41e0aaf8b896a773f20873de Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 2 Sep 2003 17:55:03 +0000
Subject: Relachement conflit 'with' dans le cas des Module with Definition

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@4295 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 doc/syntax-v8.tex | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

(limited to 'doc')

diff --git a/doc/syntax-v8.tex b/doc/syntax-v8.tex
index 6f59f53f2d..454f87ca65 100644
--- a/doc/syntax-v8.tex
+++ b/doc/syntax-v8.tex
@@ -818,7 +818,10 @@ $$
 \nlsep \NT{mod-type}~\KWD{with}~\NT{with-declaration}
 \SEPDEF
 \DEFNT{with-declaration}
-       \TERM{Definition}~\NT{ident}~\KWD{:=}~\NTL{constr}{100}
+                                                          %on forcera les ( )
+                                                          %si exceptionnellemt
+                                                          %un fixpoint ici
+       \TERM{Definition}~\NT{ident}~\KWD{:=}~\NTL{constr}{} %{100}
 \nlsep \TERM{Module}~\NT{ident}~\KWD{:=}~\NT{reference}
 \SEPDEF
 \DEFNT{of-mod-type}
-- 
cgit v1.2.3