From d6d22abb37f8bd744c0282dbf0394fc9787fd89c Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Wed, 18 Mar 2020 09:15:41 +0100
Subject: [PATCH] Doc: fix a typo in an exemple

---
 lv6-ref-man/lv6-ref-man.tex | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lv6-ref-man/lv6-ref-man.tex b/lv6-ref-man/lv6-ref-man.tex
index 8e614cb5..1a57c0f3 100644
--- a/lv6-ref-man/lv6-ref-man.tex
+++ b/lv6-ref-man/lv6-ref-man.tex
@@ -866,7 +866,7 @@ the behavior of the whole program is unpredictable.
 
 \begin{example}[Extern Nodes]
 \begin{alltt} 
-\kwd{extern} \kwd{node} foo\_with\_mem(A:int, B:bool, C: real) \kwd{returns} (X:int, Y: real);
+\kwd{extern} \kwd{node} foo\_with\_mem(A:int; B:bool, C: real) \kwd{returns} (X:int; Y: real);
 \kwd{extern} \kwd{function} sin(A:real) \kwd{returns} (sinx: real);
 \end{alltt}
 
-- 
GitLab