[lint] src/plugins/e-acsl/src/project_initializer/prepare_ast.mli

f80739b2 · Julien Signoles · François Bobot · dff7e6b1 · f80739b2
Commit f80739b2 authored 5 years ago by Julien Signoles Committed by François Bobot 5 years ago
--- 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