From 5c0de91581ecb69e3e6e9b0016a45f1c18c1fd0a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 5 Apr 2022 15:26:33 +0200
Subject: [PATCH] [ivette] Eva component: removes an unnecessary type coercion.
---
ivette/src/frama-c/plugins/eva/valuetable.tsx | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ivette/src/frama-c/plugins/eva/valuetable.tsx b/ivette/src/frama-c/plugins/eva/valuetable.tsx
index 8ac37bf297b..fe94d084ce0 100644
--- a/ivette/src/frama-c/plugins/eva/valuetable.tsx
+++ b/ivette/src/frama-c/plugins/eva/valuetable.tsx
@@ -177,7 +177,7 @@ function useEvaluationCache(): Request<[ Location, callstack ], Evaluation> {
return `${l.fct}:${l.target}:${c}`;
}, []);
const get: Request<LocStack, Evaluation> = React.useCallback(([ l, c ]) => {
- const callstack = c === 'Summary' ? undefined : c as Values.callstack;
+ const callstack = c === 'Summary' ? undefined : c;
return Server.send(Values.getValues, { ...l, callstack });
}, []);
return Dome.useCache(get, toString);
--
GitLab