diff --git a/ivette/src/frama-c/plugins/dive/index.tsx b/ivette/src/frama-c/plugins/dive/index.tsx index 2947b0ab3a826a4fa5e7147afcfe35e120b75766..6eeef6ccbc623fa5b22af77a9570112bad2f5bb9 100644 --- a/ivette/src/frama-c/plugins/dive/index.tsx +++ b/ivette/src/frama-c/plugins/dive/index.tsx @@ -142,7 +142,7 @@ class Dive { }; (this.cy as CytoscapeExtended).panzoom(panzoomDefaults); - this.layout = 'cose-bilkent'; + this.layout = 'dagre'; if (!this.headless) { this.cy.scratch('cxtmenu')?.destroy?.(); // Remove previous menu