diff --git a/src/plugins/eva/Eva.mli b/src/plugins/eva/Eva.mli
index 2df5d4aedad3b67e35165bd7e03b9c2fe25217ae..185ce1bd3afcd0c8b900700634b87ec4845b7b7d 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 97e9367ed9317b623c46f63b59c3a72cfb335ddb..a62f9cd90f3ba0b5da621a5be81e98ad87ce4441 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