Commit e7d7cf90 authored by Julien Signoles's avatar Julien Signoles
Browse files

[e-acsl:archi] fix incorrect header

parent 5ea6608f
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
(* *) (* *)
(* This file is part of the Frama-C's E-ACSL plug-in. *) (* This file is part of the Frama-C's E-ACSL plug-in. *)
(* *) (* *)
(* Copyright (C) 2012-2018 *) (* Copyright (C) 2012-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *) (* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *) (* alternatives) *)
(* *) (* *)
......
Markdown is supported
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