Skip to content
Snippets Groups Projects
Commit ff09c192 authored by Valentin Perrelle's avatar Valentin Perrelle Committed by Virgile Prevosto
Browse files

[Aorai] Fix copyright year

parent 3c8dfce3
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/aorai/aorai_graph.ml
+ 1
− 1
View file @ ff09c192
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
(* *) (* *)
(* This file is part of Aorai plug-in of Frama-C. *) (* This file is part of Aorai plug-in of Frama-C. *)
(* *) (* *)
(* Copyright (C) 2007-2018 *) (* Copyright (C) 2007-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *) (* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *) (* alternatives) *)
(* INRIA (Institut National de Recherche en Informatique et en *) (* INRIA (Institut National de Recherche en Informatique et en *)
......
src/plugins/aorai/aorai_graph.mli
+ 1
− 1
View file @ ff09c192
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
(* *) (* *)
(* This file is part of Aorai plug-in of Frama-C. *) (* This file is part of Aorai plug-in of Frama-C. *)
(* *) (* *)
(* Copyright (C) 2007-2018 *) (* Copyright (C) 2007-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *) (* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *) (* alternatives) *)
(* INRIA (Institut National de Recherche en Informatique et en *) (* INRIA (Institut National de Recherche en Informatique et en *)
......
src/plugins/aorai/aorai_metavariables.ml
+ 1
− 1
View file @ ff09c192
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
(* *) (* *)
(* This file is part of Aorai plug-in of Frama-C. *) (* This file is part of Aorai plug-in of Frama-C. *)
(* *) (* *)
(* Copyright (C) 2007-2018 *) (* Copyright (C) 2007-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *) (* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *) (* alternatives) *)
(* INRIA (Institut National de Recherche en Informatique et en *) (* INRIA (Institut National de Recherche en Informatique et en *)
......
src/plugins/aorai/aorai_metavariables.mli
+ 1
− 1
View file @ ff09c192
...@@ -2,7 +2,7 @@ ...@@ -2,7 +2,7 @@
(* *) (* *)
(* This file is part of Aorai plug-in of Frama-C. *) (* This file is part of Aorai plug-in of Frama-C. *)
(* *) (* *)
(* Copyright (C) 2007-2018 *) (* Copyright (C) 2007-2019 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *) (* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *) (* alternatives) *)
(* INRIA (Institut National de Recherche en Informatique et en *) (* INRIA (Institut National de Recherche en Informatique et en *)
......
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