Changed name of image since it did not change on GitHub

DEIS-Tools · May 17, 2023 · c21f18c · c21f18c
1 parent a6a57f0
commit c21f18c
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/README.md b/README.md
@@ -3,7 +3,7 @@ UPPAAL ProtoSugar – short for "_**Proto**typer for Syntactic **Sugar**_" – a
 
 ProtoSugar is a "middleware" that is integrated between the UPPAAL GUI and the UPPAAL engine where it intercepts and rewrites certain commands/responses going between the GUI and engine. The image below shows a simplified overview of ProtoSugar's integration and functionality, where some things are simplified and some are left out.
 
-![](images/ProtoSugarOverview.png)
+![](images/ProtoSugarOverview-New.png)
 
 **Image explanation:** The image depicts how an input model or query is intercepted by ProtoSugar and mapped. If the mapping succeeds, the result is sent to the engine, otherwise, errors are returned to the GUI. Next, the engine either returns a successful result or a list of errors. A successful result is simply sent to the GUI, whereas errors are put through the mapping in reverse order to "back-map" them onto their "correct locations" in the original input (since the errors are generated on the mapped input).
 

diff --git a/images/ProtoSugarOverview.png → images/ProtoSugarOverview-New.png b/images/ProtoSugarOverview.png → images/ProtoSugarOverview-New.png