diff --git a/src/plugins/e-acsl/exit_points.ml b/src/plugins/e-acsl/exit_points.ml
index 0833c5c514e1bce517450d414bc6c21bc6de247c..fa5f5d78e7bd26c00f19a71fe4879abbf8451892 100644
--- a/src/plugins/e-acsl/exit_points.ml
+++ b/src/plugins/e-acsl/exit_points.ml
@@ -51,7 +51,7 @@ let reset () =
   Stmt.Hashtbl.reset exit_context;
   Stmt.Hashtbl.reset labelled_jumps
 
-let empty () =
+let is_empty () =
   Stmt.Hashtbl.length statement_locals = 0 &&
     Stmt.Hashtbl.length exit_context = 0 &&
     Stmt.Hashtbl.length labelled_jumps = 0
@@ -132,5 +132,5 @@ class jump_context = object (self)
 end
 
 let generate fct =
-  assert (empty ());
+  assert (is_empty ());
   let _ = Cil.visitCilFunction (new jump_context :> Cil.cilVisitor) fct in ()