diff --git a/ivette/src/frama-c/plugins/eva/Summary.tsx b/ivette/src/frama-c/plugins/eva/Summary.tsx index 8a97b7d7f16e19f8ade58a51db3745c23f9ebec7..cccace6c00f3be04ba7bef73c24f7ea435d57721 100644 --- a/ivette/src/frama-c/plugins/eva/Summary.tsx +++ b/ivette/src/frama-c/plugins/eva/Summary.tsx @@ -29,7 +29,7 @@ import * as Eva from 'frama-c/plugins/eva/api/general'; import CoverageMeter, { percent } from './CoverageMeter'; -import './summary.css'; +import './style_summary.css'; function CoverageTable(data: Eva.programStatsType): JSX.Element { const { progFunCoverage: functions, progStmtCoverage: statements } = data; diff --git a/ivette/src/frama-c/plugins/eva/summary.css b/ivette/src/frama-c/plugins/eva/style_summary.css similarity index 100% rename from ivette/src/frama-c/plugins/eva/summary.css rename to ivette/src/frama-c/plugins/eva/style_summary.css