diff --git a/src/plugins/e-acsl/E_ACSL.mli b/src/plugins/e-acsl/E_ACSL.mli
index 15aeb15a7e15df807434d277080da0f9f506d694..f6304d722fd813a62af1879555e4b5c8b1af2bae 100644
--- a/src/plugins/e-acsl/E_ACSL.mli
+++ b/src/plugins/e-acsl/E_ACSL.mli
@@ -39,6 +39,14 @@ module Translate: sig
       a single expression. *)
 end
 
+module Functions: sig
+  module RTL: sig
+    val is_generated_name: string -> bool
+    (** @return [true] if the prefix of the given name indicates that it has been
+        generated by E-ACSL instrumentation (see [mk_gen_name] function). *)
+  end
+end
+
 (** No function is directly exported: they are dynamically registered. *)
 
 (*