From ed16cc538547930adc87a2f9c5c0948187f7b283 Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime.jacquemin@cea.fr>
Date: Wed, 3 Nov 2021 14:45:15 +0100
Subject: [PATCH] [ivette] Satisfying the linter
---
ivette/src/frama-c/kernel/Messages.tsx | 6 +++---
1 file changed, 3 insertions(+), 3 deletions(-)
diff --git a/ivette/src/frama-c/kernel/Messages.tsx b/ivette/src/frama-c/kernel/Messages.tsx
index 9d9751185be..92cd4ef3284 100644
--- a/ivette/src/frama-c/kernel/Messages.tsx
+++ b/ivette/src/frama-c/kernel/Messages.tsx
@@ -426,9 +426,9 @@ export default function RenderMessages() {
const [model] = React.useState(() => {
const f = (msg: Message) => msg.key;
- const model = new Arrays.CompactModel<string, Message>(f);
- model.setOrderingByFields(byMessage);
- return model;
+ const m = new Arrays.CompactModel<string, Message>(f);
+ m.setOrderingByFields(byMessage);
+ return m;
});
const data = States.useSyncArray(Kernel.message).getArray();
--
GitLab