From 18fd2f4e47aee6ea65a2b792983209378b5da1b4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 24 Mar 2023 19:14:58 +0100
Subject: [PATCH] [Ivette] Fixes a label of the function filtering menu.
---
ivette/src/frama-c/kernel/Globals.tsx | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/ivette/src/frama-c/kernel/Globals.tsx b/ivette/src/frama-c/kernel/Globals.tsx
index 10b3715ec19..a9d73184eb7 100644
--- a/ivette/src/frama-c/kernel/Globals.tsx
+++ b/ivette/src/frama-c/kernel/Globals.tsx
@@ -208,7 +208,7 @@ export default function Globals(): JSX.Element {
},
'separator',
{
- label: 'Show intern functions',
+ label: 'Show non-extern functions',
checked: intern,
onClick: flipIntern,
},
--
GitLab