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 f46a04474c2952413cc5d1c6b3821d2b45b97ab3..f2c4f1ea3492d926d24a7fc47a02e29c8c77af6d 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