From d5a5f8570309f40f08aba2e927341383febcbdfa Mon Sep 17 00:00:00 2001
From: Augustin <augustin.lemesle@cea.fr>
Date: Tue, 26 Apr 2022 11:46:00 +0200
Subject: [PATCH] update safety example

---
 _includes/body.html                                 |   2 +-
 .../images/{safety-example.PNG => safety-prop.png}  | Bin
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename assets/images/{safety-example.PNG => safety-prop.png} (100%)

diff --git a/_includes/body.html b/_includes/body.html
index 2e70f6d..3492e6c 100644
--- a/_includes/body.html
+++ b/_includes/body.html
@@ -72,7 +72,7 @@
 						In a setting of <strong>critical system of aircraft collision avoidance</strong>, we aim to prove that for certain configurations of the two planes the neural network will answer as expected.<br>
 						For example, we could aim to prove:<br>
 						<div class="has-text-centered">
-						<img src="{{ '/assets/images/safety-example.png' | relative_url }}">
+						<img src="{{ '/assets/images/safety-prop.png' | relative_url }}">
 						</div>
 						</p>
 					</div>
diff --git a/assets/images/safety-example.PNG b/assets/images/safety-prop.png
similarity index 100%
rename from assets/images/safety-example.PNG
rename to assets/images/safety-prop.png
-- 
GitLab