From 3e6a2ca716aca2b41d8f9ca051552626eee375ed Mon Sep 17 00:00:00 2001
From: Maxime Jacquemin <maxime2.jacquemin@gmail.com>
Date: Mon, 16 Jan 2023 13:39:51 +0100
Subject: [PATCH] [Ivette] Fix hovered
---
ivette/src/frama-c/kernel/ASTview.tsx | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/ivette/src/frama-c/kernel/ASTview.tsx b/ivette/src/frama-c/kernel/ASTview.tsx
index faf76ccdbe8..f52c6099729 100644
--- a/ivette/src/frama-c/kernel/ASTview.tsx
+++ b/ivette/src/frama-c/kernel/ASTview.tsx
@@ -49,7 +49,7 @@ import * as Preferences from 'ivette/prefs';
// An alias type for functions and locations.
type Fct = string | undefined;
-type Marker = Ast.marker | undefined;
+type Marker = string | undefined;
// A Caller is just a pair of the caller's key and the statement's key where the
// call occurs.
@@ -660,7 +660,7 @@ export default function ASTview(): JSX.Element {
Text.set(view, useFctText(fct));
Fct.set(view, fct);
Marker.set(view, marker);
- Hovered.set(view, hovered?.marker);
+ Hovered.set(view, hovered?.marker ?? '');
Dead.set(view, useFctDead(fct));
Callers.set(view, useFctCallers(fct));
TaintedLvalues.set(view, useFctTaints(fct));
--
GitLab