diff --git a/src/plugins/e-acsl/exit_points.ml b/src/plugins/e-acsl/exit_points.ml
index 55af3ebb56d1d46dc76aa2f3cac03c6d526f6251..94e97e169b9eb2fd078bf0ff00fbbb63a3f31a92 100644
--- a/src/plugins/e-acsl/exit_points.ml
+++ b/src/plugins/e-acsl/exit_points.ml
@@ -116,7 +116,7 @@ class jump_context = object (_)
     | Loop(_) | Switch(_) ->
       add_locals stmt (List.flatten locals);
       Stack.push stmt jumps;
-      Cil.DoChildrenPost (fun st -> let _ = Stack.pop jumps in st)
+      Cil.DoChildrenPost (fun st -> ignore(Stack.pop jumps); st)
     | Break(_) | Continue(_) ->
       add_exit stmt (Stack.top jumps);
       add_locals stmt (List.flatten locals);
@@ -136,4 +136,4 @@ end
 
 let generate fct =
   assert (is_empty ());
-  let _ = Cil.visitCilFunction (new jump_context :> Cil.cilVisitor) fct in ()
+  ignore (Cil.visitCilFunction (new jump_context :> Cil.cilVisitor) fct)