From be633df7675b8268e9c0a4a7acca5f2645a601ef Mon Sep 17 00:00:00 2001
From: Daniela Genius <genius@debussy.soc.lip6.fr>
Date: Tue, 14 Mar 2017 14:37:40 +0100
Subject: [PATCH] update

---
 bin/config.xml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/bin/config.xml b/bin/config.xml
index 5f22e0bc16..bbae106e0e 100755
--- a/bin/config.xml
+++ b/bin/config.xml
@@ -48,7 +48,7 @@
 <ProVerifVerifierHost data="localhost" />
 <AVATARExecutableCodeDirectory data="../executablecode/" />
 <AVATARMPSoCCodeDirectory data="../MPSoC/" />
-<AVATARMPSoCCompileCommand data="make -C ../MPSoC updateruntime updategeneratedcode compilesoclib" />
+<AVATARMPSoCCompileCommand data="make -C ../MPSoC updategeneratedcode compilesoclib" />
 <AVATARExecutableCodeHost data="localhost"/>
 <AVATARExecutableCodeCompileCommand data="make -C ../executablecode" />
 <AVATARExecutableCodeExecuteCommand data="../executablecode/run.x" />
@@ -63,11 +63,11 @@
 <ExternalCommand2Host data="localhost"/>
 <ExternalCommand2 data="/packages/uppaal(4.0.11/uppaal ../uppaal/spec.xml"/>
 
-<LastOpenFile data="/Users/ludovicapvrille/TTool/modeling/DIPLODOCUS/SmartCardProtocol.xml"/>
+<LastOpenFile data="/users/enseig/genius/modeling-dg/miniAsynchronousDeploy2DD.xml"/>
 
 
 
-<LastWindowAttributes x="369" y="23" width="1098" height="1000" max="false" />
+<LastWindowAttributes x="412" y="25" width="1098" height="1000" max="false" />
 
 
 <ProVerifHash data=""/>
-- 
GitLab