Skip to content
Snippets Groups Projects
Commit b7342390 authored by David Bühler's avatar David Bühler
Browse files

[Eva] Updates header.

parent ae3f2dab
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/value/utils/eva_audit.ml
+ 1
− 1
View file @ b7342390
......@@ -2,7 +2,7 @@
(* *)
(* This file is part of Frama-C. *)
(* *)
(* Copyright (C) 2007-2020 *)
(* Copyright (C) 2007-2021 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
......
src/plugins/value/utils/eva_audit.mli
+ 1
− 1
View file @ b7342390
......@@ -2,7 +2,7 @@
(* *)
(* This file is part of Frama-C. *)
(* *)
(* Copyright (C) 2007-2020 *)
(* Copyright (C) 2007-2021 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
......
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