From c8ff81501e5b6d510f0b38f47192c571a279a557 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 17 Mar 2023 14:03:23 +0100
Subject: [PATCH] [doc] fix message

---
 doc/aorai/main.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/aorai/main.tex b/doc/aorai/main.tex
index bcdb2d0309e..0c902318f7b 100644
--- a/doc/aorai/main.tex
+++ b/doc/aorai/main.tex
@@ -75,7 +75,7 @@ in particular the notions of {\it plug-ins} and {\it project}.
 \end{itemize}
 
 \vspace*{20pt}
-\noindent \textbf{Official website for the original version:}
+\noindent \textbf{Official website:}
 
 \begin{center}
   \url{https://www.frama-c.com/fc-plugins/aorai.html}
-- 
GitLab