From 33601b976c554da13b6cb3dafeacebe992af6111 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Sat, 25 Jul 2020 20:54:05 +0200
Subject: [PATCH] [ivette] Dive: fix typing
---
ivette/src/frama-c/dive/Dive.tsx | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/ivette/src/frama-c/dive/Dive.tsx b/ivette/src/frama-c/dive/Dive.tsx
index 7edc9f8da8b..ef9b4160b77 100644
--- a/ivette/src/frama-c/dive/Dive.tsx
+++ b/ivette/src/frama-c/dive/Dive.tsx
@@ -121,12 +121,12 @@ class Dive {
return commands;
}
- remove(node: Cytoscape.NodeCollection): void {
+ remove(node: Cytoscape.NodeSingular) {
const parent = node.parent();
node.remove();
this.cy.$id(`${node.id()}-more`).remove();
if (parent.nonempty() && parent.children().empty())
- this.remove(parent); // Recursively remove parents
+ this.remove(parent as Cytoscape.NodeSingular); // Recursively remove parents
}
referenceFile(fileName: string): Cytoscape.NodeSingular {
--
GitLab