From 7bcdd57cad01b4e89286e5917c0974eb397adff5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 3 Dec 2024 09:57:05 +0100
Subject: [PATCH] [eva] renamed annot into export
---
src/plugins/eva/Eva.mli | 2 +-
src/plugins/eva/dune | 2 +-
src/plugins/eva/utils/{annot.ml => export.ml} | 0
src/plugins/eva/utils/{annot.mli => export.mli} | 0
4 files changed, 2 insertions(+), 2 deletions(-)
rename src/plugins/eva/utils/{annot.ml => export.ml} (100%)
rename src/plugins/eva/utils/{annot.mli => export.mli} (100%)
diff --git a/src/plugins/eva/Eva.mli b/src/plugins/eva/Eva.mli
index 2df5d4aedad..185ce1bd3af 100644
--- a/src/plugins/eva/Eva.mli
+++ b/src/plugins/eva/Eva.mli
@@ -961,7 +961,7 @@ module Unit_tests: sig
val run: unit -> unit
end
-module Annot: sig
+module Export: sig
open Cil_types
(* -------------------------------------------------------------------------- *)
diff --git a/src/plugins/eva/dune b/src/plugins/eva/dune
index 97e9367ed93..a62f9cd90f3 100644
--- a/src/plugins/eva/dune
+++ b/src/plugins/eva/dune
@@ -123,5 +123,5 @@
utils/eva_annotations.mli eval.mli types/assigns.mli ast/eva_ast.mli
domains/cvalue/builtins.mli utils/cvalue_callbacks.mli utils/eva_perf.mli
legacy/logic_inout.mli utils/eva_results.mli utils/unit_tests.mli
- utils/annot.mli)
+ utils/export.mli)
(action (run ./gen_api/gen_api.exe %{deps})))
diff --git a/src/plugins/eva/utils/annot.ml b/src/plugins/eva/utils/export.ml
similarity index 100%
rename from src/plugins/eva/utils/annot.ml
rename to src/plugins/eva/utils/export.ml
diff --git a/src/plugins/eva/utils/annot.mli b/src/plugins/eva/utils/export.mli
similarity index 100%
rename from src/plugins/eva/utils/annot.mli
rename to src/plugins/eva/utils/export.mli
--
GitLab