From 8b1d633c828e2d6c4f5c871bb9264e6cdf81ae90 Mon Sep 17 00:00:00 2001
From: Michele Alberti <michele.alberti@cea.fr>
Date: Mon, 2 Mar 2020 19:19:20 +0100
Subject: [PATCH] [Eva] Fix comment about computation of englobing expressions.
---
src/plugins/value/eval.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/value/eval.ml b/src/plugins/value/eval.ml
index 90deaf2c917..aa8b1acdd17 100644
--- a/src/plugins/value/eval.ml
+++ b/src/plugins/value/eval.ml
@@ -142,8 +142,8 @@ end
let compute_englobing_subexpr ~subexpr ~expr =
let merge = Extlib.merge_opt (fun _ -> (@)) () in
(* Returns [Some] of the list of subexpressions of [expr] that contain
- [subexpr], apart from [expr] and [subexpr] themselves, or [None] if [subexpr]
- does not appear in [expr]. *)
+ [subexpr], apart [subexpr] itself, or [None] if [subexpr] does not appear
+ in [expr]. *)
let rec compute expr =
if Cil_datatype.ExpStructEq.equal expr subexpr
then Some []
--
GitLab