diff options
| -rw-r--r-- | doc/refman/Omega.tex | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/doc/refman/Omega.tex b/doc/refman/Omega.tex index 213c050615..b946d03b76 100644 --- a/doc/refman/Omega.tex +++ b/doc/refman/Omega.tex @@ -212,11 +212,7 @@ decision procedure is only partial. \item Much too slow. -\item Certainly other bugs! You can report them to - -\begin{quote} - \url{Pierre.Cregut@cnet.francetelecom.fr} -\end{quote} +\item Certainly other bugs! You can report them to \url{https://coq.inria.fr/bugs/}. \end{itemize} |