[ivette/eva] fix summary.css clash

691310ec · Loïc Correnson · Andre Maroneze · 3c258bac · 691310ec · 691310ec
Commit 691310ec authored Mar 30, 2022 by Loïc Correnson Committed by Andre Maroneze Apr 6, 2022
--- 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;

--- a/ivette/src/frama-c/plugins/eva/summary.css
+++ b/ivette/src/frama-c/plugins/eva/summary.css