From e517c1642a98829041902efb2a1bbd385bf0a668 Mon Sep 17 00:00:00 2001
From: Valentin Perrelle <valentin.perrelle@cea.fr>
Date: Fri, 17 Sep 2021 17:25:53 +0200
Subject: [PATCH] [Eva] api: add header to results.ml
---
headers/header_spec.txt | 2 ++
src/plugins/value/utils/results.mli | 3 +--
2 files changed, 3 insertions(+), 2 deletions(-)
diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index f8767c7b983..77930d29bec 100644
--- a/headers/header_spec.txt
+++ b/headers/header_spec.txt
@@ -1450,6 +1450,8 @@ src/plugins/value/legacy/function_args.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/legacy/function_args.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/register.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/register.mli: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/utils/results.ml: CEA_LGPL_OR_PROPRIETARY
+src/plugins/value/utils/results.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/partitioning/auto_loop_unroll.ml: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/partitioning/auto_loop_unroll.mli: CEA_LGPL_OR_PROPRIETARY
src/plugins/value/partitioning/partition.ml: CEA_LGPL_OR_PROPRIETARY
diff --git a/src/plugins/value/utils/results.mli b/src/plugins/value/utils/results.mli
index 50b1505f08d..4364a776527 100644
--- a/src/plugins/value/utils/results.mli
+++ b/src/plugins/value/utils/results.mli
@@ -1,6 +1,6 @@
(**************************************************************************)
(* *)
-(* This fil2e is part of Frama-C. *)
+(* This file is part of Frama-C. *)
(* *)
(* Copyright (C) 2007-2021 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
@@ -20,7 +20,6 @@
(* *)
(**************************************************************************)
-
(* Usage sketch :
Eva.Results.(before stmt |> in_callstack cs |> eval_var vi |> as_int)
--
GitLab