diff --git a/Manual/doc_tex/Introduction_ref/thirdparty.tex b/Manual/doc_tex/Introduction_ref/thirdparty.tex
index 3e5b31c6fe9..1ea0246c694 100644
--- a/Manual/doc_tex/Introduction_ref/thirdparty.tex
+++ b/Manual/doc_tex/Introduction_ref/thirdparty.tex
@@ -49,6 +49,8 @@ in order to speed up the algorithm. you can download it from
 \subsection{OpenNL \label{thirdparty:OpenNL}}
 
 A solver.
+OpenNL is distributed together with \cgal.
+
 
 \subsection{zlib \label{thirdparty:zlib}}