diff --git a/src/plugins/e-acsl/examples/ensuresec/.gitignore b/src/plugins/e-acsl/examples/ensuresec/.gitignore
index 624a0d90452b7edfc6a43b3a7409e123d5dd0ac3..48f917578b41ed6b873e778abb6c5869fd01af2f 100644
--- a/src/plugins/e-acsl/examples/ensuresec/.gitignore
+++ b/src/plugins/e-acsl/examples/ensuresec/.gitignore
@@ -1,3 +1,3 @@
 build/
 __pycache__/
-.env
\ No newline at end of file
+.env
diff --git a/src/plugins/instantiate/README.md b/src/plugins/instantiate/README.md
index bf55ae2cf31a74fe80eb1d587adaa83803c8a03e..f54df561537931255c333ad87e782322275b535c 100644
--- a/src/plugins/instantiate/README.md
+++ b/src/plugins/instantiate/README.md
@@ -127,4 +127,4 @@ let () = Transform.register (module struct
   end)
 ```
 
-The role and types of each function is documented in `Instantiator_builder.mli`.
\ No newline at end of file
+The role and types of each function is documented in `Instantiator_builder.mli`.
diff --git a/src/plugins/value/legacy/TOREMOVE b/src/plugins/value/legacy/TOREMOVE
index ffa44b40808f3595a318a93d84a20e6dd73f20ad..a45847d25ad5d534973f2563e1c31130ecacab8f 100644
--- a/src/plugins/value/legacy/TOREMOVE
+++ b/src/plugins/value/legacy/TOREMOVE
@@ -8,4 +8,4 @@
 
 
 To be moved elsewhere, probably in domains/cvalue or in engine:
-  eval_annots, eval_terms
\ No newline at end of file
+  eval_annots, eval_terms