From f80739b23f177399a9b64ed2effcca0e4041b2a8 Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Wed, 30 Oct 2019 11:30:09 +0100
Subject: [PATCH] [lint]
src/plugins/e-acsl/src/project_initializer/prepare_ast.mli
---
src/plugins/e-acsl/src/project_initializer/prepare_ast.mli | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/e-acsl/src/project_initializer/prepare_ast.mli b/src/plugins/e-acsl/src/project_initializer/prepare_ast.mli
index f46a04474c2..f2c4f1ea349 100644
--- a/src/plugins/e-acsl/src/project_initializer/prepare_ast.mli
+++ b/src/plugins/e-acsl/src/project_initializer/prepare_ast.mli
@@ -24,7 +24,7 @@
So for this module performs two tasks:
- move declarations of variables declared in the bodies of switch
- statements to upper scopes;
+ statements to upper scopes;
- store what is necessary to translate in [Keep_status]. *)
val prepare: unit -> Project.t
--
GitLab