From c9a83da1476be0fe301fab2da2bf403c7bc23883 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Wed, 1 Mar 2017 11:16:12 +0100
Subject: [PATCH] Stylistic issues
---
src/plugins/e-acsl/exit_points.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/e-acsl/exit_points.ml b/src/plugins/e-acsl/exit_points.ml
index 55af3ebb56d..94e97e169b9 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)
--
GitLab