From d0dc0a07d5e010a287d1cfd3c398bfa3d7364eb9 Mon Sep 17 00:00:00 2001 From: Ludovic Apvrille <ludovic.apvrille@telecom-paristech.fr> Date: Fri, 2 Oct 2020 10:48:40 +0200 Subject: [PATCH] Update on help: error in safey pragmas --- src/main/resources/help/avatarsafetypragmas.html | 2 +- src/main/resources/help/avatarsafetypragmas.md | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/main/resources/help/avatarsafetypragmas.html b/src/main/resources/help/avatarsafetypragmas.html index d1a2d50ad6..d768df8039 100644 --- a/src/main/resources/help/avatarsafetypragmas.html +++ b/src/main/resources/help/avatarsafetypragmas.html @@ -41,7 +41,7 @@ </center> <h2 id="e-properties-1">E<> properties</h2> <center> -<img src="file:../help/ctleall_small.png" /> +<img src="file:../help/ctleone_small.png" /> </center> <h2 id="leads-to-properties">“Leads to†properties</h2> <p>“p –> q†means that whenever p is encoutred in a state s, all paths starting from state s must have a state in which q is satisfied.</p> diff --git a/src/main/resources/help/avatarsafetypragmas.md b/src/main/resources/help/avatarsafetypragmas.md index 92819d2439..eb29a03605 100644 --- a/src/main/resources/help/avatarsafetypragmas.md +++ b/src/main/resources/help/avatarsafetypragmas.md @@ -43,7 +43,7 @@ means that the attribute "x" of block "Block1" is always strictly positive. ## E<> properties <center> - + </center> -- GitLab