From fff2359bf9f63f832c7f767723b45a6139fc0b3a Mon Sep 17 00:00:00 2001
From: Julien Signoles <julien.signoles@cea.fr>
Date: Tue, 26 Feb 2019 16:48:26 +0100
Subject: [PATCH] make check-headers happy, bis
---
src/plugins/e-acsl/fixpoint.ml | 6 +++---
src/plugins/e-acsl/fixpoint.mli | 6 +++---
src/plugins/e-acsl/lfunctions.ml | 6 +++---
src/plugins/e-acsl/lfunctions.mli | 6 +++---
4 files changed, 12 insertions(+), 12 deletions(-)
diff --git a/src/plugins/e-acsl/fixpoint.ml b/src/plugins/e-acsl/fixpoint.ml
index 6af95b408cf..4adb15d3ded 100644
--- a/src/plugins/e-acsl/fixpoint.ml
+++ b/src/plugins/e-acsl/fixpoint.ml
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of Frama-C. *)
+(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2007-2018 *)
+(* Copyright (C) 2012-2018 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -210,4 +210,4 @@ let solve ieqs ivar chain_of_ivalmax =
let post_fixpoint =
iterate_till_post_fixpoint ieqs bottom chain_of_ivalmax
in
- get_ival_of_iconst ivar post_fixpoint
\ No newline at end of file
+ get_ival_of_iconst ivar post_fixpoint
diff --git a/src/plugins/e-acsl/fixpoint.mli b/src/plugins/e-acsl/fixpoint.mli
index ac2f146e7e1..4354d67674f 100644
--- a/src/plugins/e-acsl/fixpoint.mli
+++ b/src/plugins/e-acsl/fixpoint.mli
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of Frama-C. *)
+(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2007-2018 *)
+(* Copyright (C) 2012-2018 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -75,4 +75,4 @@ val solve: Ieqs.t -> ival_exp -> Integer.t array -> Ival.t
val ivars_contains_ivar: ival_exp list -> ival_exp -> bool
(** [contains ivars ivar] checks whether the list of Ivar [ivars] contains the
- Ivar [ivar]. *)
\ No newline at end of file
+ Ivar [ivar]. *)
diff --git a/src/plugins/e-acsl/lfunctions.ml b/src/plugins/e-acsl/lfunctions.ml
index 1b549ddc500..c5f9d07bf28 100644
--- a/src/plugins/e-acsl/lfunctions.ml
+++ b/src/plugins/e-acsl/lfunctions.ml
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of Frama-C. *)
+(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2007-2018 *)
+(* Copyright (C) 2012-2018 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -502,4 +502,4 @@ let lfunctions_visitor = object (self)
file)
end
-let do_visit f = Visitor.visitFramacFile lfunctions_visitor f
\ No newline at end of file
+let do_visit f = Visitor.visitFramacFile lfunctions_visitor f
diff --git a/src/plugins/e-acsl/lfunctions.mli b/src/plugins/e-acsl/lfunctions.mli
index ca4c8ead2ae..50f7b7cdd9f 100644
--- a/src/plugins/e-acsl/lfunctions.mli
+++ b/src/plugins/e-acsl/lfunctions.mli
@@ -1,8 +1,8 @@
(**************************************************************************)
(* *)
-(* This file is part of Frama-C. *)
+(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *)
-(* Copyright (C) 2007-2018 *)
+(* Copyright (C) 2012-2018 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
@@ -53,4 +53,4 @@ val term_to_exp_ref:
(kernel_function -> Env.t -> term -> exp * Env.t) ref
val add_cast_ref:
- (location -> Env.t -> typ option -> bool -> exp -> exp * Env.t) ref
\ No newline at end of file
+ (location -> Env.t -> typ option -> bool -> exp -> exp * Env.t) ref
--
GitLab