From 691310ec56e2c89e32e28594b2582646b77b6a49 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Wed, 30 Mar 2022 16:37:08 +0200
Subject: [PATCH] [ivette/eva] fix summary.css clash
---
ivette/src/frama-c/plugins/eva/Summary.tsx | 2 +-
.../src/frama-c/plugins/eva/{summary.css => style_summary.css} | 0
2 files changed, 1 insertion(+), 1 deletion(-)
rename ivette/src/frama-c/plugins/eva/{summary.css => style_summary.css} (100%)
diff --git a/ivette/src/frama-c/plugins/eva/Summary.tsx b/ivette/src/frama-c/plugins/eva/Summary.tsx
index 8a97b7d7f16..cccace6c00f 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
--
GitLab