From 3236835cd28b30b8b71e123ca03157c2d2ed6b7a Mon Sep 17 00:00:00 2001
From: Thibault Martin <thibault.martin@cea.fr>
Date: Tue, 3 Sep 2024 12:08:20 +0000
Subject: [PATCH] [kernel] Fix comment typo
---
src/kernel_services/ast_data/kernel_function.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/kernel_services/ast_data/kernel_function.ml b/src/kernel_services/ast_data/kernel_function.ml
index ed5b97a739..f4b49deb7e 100644
--- a/src/kernel_services/ast_data/kernel_function.ml
+++ b/src/kernel_services/ast_data/kernel_function.ml
@@ -556,7 +556,7 @@ let var_is_in_scope stmt vi =
Cil_datatype.Stmt.equal sfst (find_enclosing_stmt_in_block b sdef) ||
is_between b sfst sdef stmt
in
- (* If sdef is equal to stmt, vi is not in the scope yet. *)
+ (* If sdef is equal to stmt, vi is in scope. *)
Option.equal Cil_datatype.Stmt.equal sdef (Some stmt) ||
List.exists (fun b ->
List.exists (Cil_datatype.Varinfo.equal vi) b.blocals &&
--
GitLab