From 65876ed74fabc84e43379370a550a8833d5100a7 Mon Sep 17 00:00:00 2001
From: Kostyantyn Vorobyov <kostyantyn.vorobyov@cea.fr>
Date: Wed, 1 Mar 2017 11:39:35 +0100
Subject: [PATCH] Remove useless parenthesis
---
src/plugins/e-acsl/visit.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/visit.ml b/src/plugins/e-acsl/visit.ml
index d32aaaf20cb..46bd82e3f7c 100644
--- a/src/plugins/e-acsl/visit.ml
+++ b/src/plugins/e-acsl/visit.ml
@@ -519,7 +519,7 @@ you must call function `%s' and `__e_acsl_memory_clean by yourself.@]"
* declarations are bypassed by gotos. Note: should be done before
* [vinst] method (which adds initializers) is executed, otherwise
* init calls appear before store calls. *)
- let duplicates = (Exit_points.store_vars stmt) in
+ let duplicates = Exit_points.store_vars stmt in
let env =
add_duplicate_store_stmt ~before:stmt env kf duplicates generate in
function_env := env;
--
GitLab