From a8c4e53dcc07319ade291d09ea5ec9d9ad010a07 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@cea.fr>
Date: Wed, 8 Jun 2022 13:29:40 +0000
Subject: [PATCH] Apply 1 suggestion(s) to 1 file(s)
---
doc/developer/tutorial.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/developer/tutorial.tex b/doc/developer/tutorial.tex
index 8a6918be6c6..f53f9402a64 100644
--- a/doc/developer/tutorial.tex
+++ b/doc/developer/tutorial.tex
@@ -977,7 +977,7 @@ function in a dialog box. This is achieved just by appending the following
pieces of code at the end of the \texttt{cfg\_print.ml} file.
\begin{important}
-Frama-C GUI can be compiled against two versions of lablgtk (the OCaml
+Frama-C's GUI can be compiled against two versions of lablgtk (the OCaml
bindings to the Gtk toolkit). The actual rendering of the control flow graph
is actually done by the external OCamlgraph library, and only available
when compiling against lablgtk2. If you're using lablgtk3,
--
GitLab