Skip to content
Snippets Groups Projects
Commit 0dc7d8ac authored by Kostyantyn Vorobyov's avatar Kostyantyn Vorobyov
Browse files

MR !151 Review: update headers in temporal.ml/.mli

parent d9944638
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/e-acsl/temporal.ml
+ 3
− 3
View file @ 0dc7d8ac
(**************************************************************************)
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* This file is part of Frama-C. *)
(* *)
(* Copyright (C) 2012-2016 *)
(* Copyright (C) 2007-2017 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
......@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file license/LGPLv2.1). *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
......
src/plugins/e-acsl/temporal.mli
+ 3
− 3
View file @ 0dc7d8ac
(**************************************************************************)
(* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *)
(* This file is part of Frama-C. *)
(* *)
(* Copyright (C) 2012-2016 *)
(* Copyright (C) 2007-2017 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
......@@ -16,7 +16,7 @@
(* GNU Lesser General Public License for more details. *)
(* *)
(* See the GNU Lesser General Public License version 2.1 *)
(* for more details (enclosed in the file license/LGPLv2.1). *)
(* for more details (enclosed in the file licenses/LGPLv2.1). *)
(* *)
(**************************************************************************)
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment