diff --git a/ivette/src/frama-c/plugins/eva/layout.ts b/ivette/src/frama-c/plugins/eva/layout.ts index e1a301bc71c74a274a22bfa1adedfbb5e2a268fe..ba3ce772b86cfe20f7b960268c4fa3215e727621 100644 --- a/ivette/src/frama-c/plugins/eva/layout.ts +++ b/ivette/src/frama-c/plugins/eva/layout.ts @@ -194,7 +194,7 @@ export class LayoutEngine { stackIndex: -1, stackCount: stacks.length, fct, - hlines: 1, + hlines, }); stacks.forEach((cs, k) => { rs.push({