From 6e9fd160f049b028a6c9818747f62dc072d01ab8 Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Wed, 15 Jun 2022 16:56:26 +0200
Subject: [PATCH] [Lint] fixes some files

---
 src/plugins/e-acsl/examples/ensuresec/.gitignore | 2 +-
 src/plugins/instantiate/README.md                | 2 +-
 src/plugins/value/legacy/TOREMOVE                | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/plugins/e-acsl/examples/ensuresec/.gitignore b/src/plugins/e-acsl/examples/ensuresec/.gitignore
index 624a0d90452..48f917578b4 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 bf55ae2cf31..f54df561537 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 ffa44b40808..a45847d25ad 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
-- 
GitLab