diff --git a/ivette/src/frama-c/dive/Dive.tsx b/ivette/src/frama-c/dive/Dive.tsx index 55bad9f7466ffcba8b9bfe3bb299b8f41d4b5315..d816c70788eb4ac812f61feb39a913d95f21a923 100644 --- a/ivette/src/frama-c/dive/Dive.tsx +++ b/ivette/src/frama-c/dive/Dive.tsx @@ -373,7 +373,8 @@ class Dive { try { if (Server.isRunning()) { const data = await Server.send(API.graph, {}); - this.receiveGraph(data); + const newNodes = this.receiveGraph(data); + this.recomputeLayout(newNodes); } } catch (err) {