diff --git a/src/plugins/dive/Dive.mli b/src/plugins/dive/Dive.mli
index 1aa32233655c27fead358f1fb66f4bc2097b500d..c6933a73bc1ab71a5559c38eb2484f432f7cb092 100644
--- a/src/plugins/dive/Dive.mli
+++ b/src/plugins/dive/Dive.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C plug-in `Dive'. *)
(* *)
-(* Copyright (C) 2007-2019 *)
+(* Copyright (C) 2007-2020 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/dive/Makefile.in b/src/plugins/dive/Makefile.in
index b435afe3c72513c03691628b2a5b15316322e302..d2a945eff911dd095ea6ced22598bd4176c7b790 100644
--- a/src/plugins/dive/Makefile.in
+++ b/src/plugins/dive/Makefile.in
@@ -2,7 +2,7 @@
# #
# This file is part of the Frama-C plug-in `Dive'. #
# #
-# Copyright (C) 2007-2019 #
+# Copyright (C) 2007-2020 #
# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
diff --git a/src/plugins/dive/build.ml b/src/plugins/dive/build.ml
index bb310e803a8123e0ae712a0ec7d3107947c804b7..b22b27cca538c5ac7a297b6e188effb500e90ebb 100644
--- a/src/plugins/dive/build.ml
+++ b/src/plugins/dive/build.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C plug-in `Dive'. *)
(* *)
-(* Copyright (C) 2007-2019 *)
+(* Copyright (C) 2007-2020 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/dive/build.mli b/src/plugins/dive/build.mli
index 7bd5f3af5addd09c6d3937616bdb011af4334d6f..2de92ccbd83580846875b4be9f8a891b2a7cdc18 100644
--- a/src/plugins/dive/build.mli
+++ b/src/plugins/dive/build.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C plug-in `Dive'. *)
(* *)
-(* Copyright (C) 2007-2019 *)
+(* Copyright (C) 2007-2020 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/dive/callstack.ml b/src/plugins/dive/callstack.ml
index d41947ccc2662a9fb05d769ba66b8ae435ac2532..d61097fd5356cca5960b29b67c551a715e88b0e1 100644
--- a/src/plugins/dive/callstack.ml
+++ b/src/plugins/dive/callstack.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C plug-in `Dive'. *)
(* *)
-(* Copyright (C) 2007-2019 *)
+(* Copyright (C) 2007-2020 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/dive/callstack.mli b/src/plugins/dive/callstack.mli
index a3837bf01e24c0df1a58b995da79ff40fa54f980..f8073bfcf775f96f11fb25da2d69b74408bff3b0 100644
--- a/src/plugins/dive/callstack.mli
+++ b/src/plugins/dive/callstack.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C plug-in `Dive'. *)
(* *)
-(* Copyright (C) 2007-2019 *)
+(* Copyright (C) 2007-2020 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/dive/configure.ac b/src/plugins/dive/configure.ac
index 68566e436c71b81868cbed437b0ad618fd6101a8..fe369c0ccd85c4f9e9b7c060de35605bc45c3e8d 100644
--- a/src/plugins/dive/configure.ac
+++ b/src/plugins/dive/configure.ac
@@ -2,7 +2,7 @@
# #
# This file is part of the Frama-C plug-in `Dive'. #
# #
-# Copyright (C) 2007-2019 #
+# Copyright (C) 2007-2020 #
# CEA (Commissariat à l'énergie atomique et aux énergies #
# alternatives) #
# #
diff --git a/src/plugins/dive/graph_types.mli b/src/plugins/dive/graph_types.mli
index 360208e0c06580a6b6c71e9a0af67b53f6188d7e..cfd8a04aa9a36957c7408329b57e667075b68603 100644
--- a/src/plugins/dive/graph_types.mli
+++ b/src/plugins/dive/graph_types.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C plug-in `Dive'. *)
(* *)
-(* Copyright (C) 2007-2019 *)
+(* Copyright (C) 2007-2020 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/dive/headers/close-source/LGPL.Dive b/src/plugins/dive/headers/close-source/LGPL.Dive
index a4e1f56a8cc7123be23127d0811f893e249e6069..367db7ff3b1f999280ca73fb656daed399fccea2 100644
--- a/src/plugins/dive/headers/close-source/LGPL.Dive
+++ b/src/plugins/dive/headers/close-source/LGPL.Dive
@@ -1,7 +1,7 @@
This file is part of the Frama-C plug-in `Dive'.
-Copyright (C) 2007-2019
+Copyright (C) 2007-2020
CEA (Commissariat à l'énergie atomique et aux énergies
alternatives)
diff --git a/src/plugins/dive/headers/open-source/LGPL.Dive b/src/plugins/dive/headers/open-source/LGPL.Dive
index a4e1f56a8cc7123be23127d0811f893e249e6069..367db7ff3b1f999280ca73fb656daed399fccea2 100644
--- a/src/plugins/dive/headers/open-source/LGPL.Dive
+++ b/src/plugins/dive/headers/open-source/LGPL.Dive
@@ -1,7 +1,7 @@
This file is part of the Frama-C plug-in `Dive'.
-Copyright (C) 2007-2019
+Copyright (C) 2007-2020
CEA (Commissariat à l'énergie atomique et aux énergies
alternatives)
diff --git a/src/plugins/dive/imprecision_graph.ml b/src/plugins/dive/imprecision_graph.ml
index c6295bc88ec41ae5c187a847f13a4d2515e35228..a2afcae0b514863d8d480dd416d5354556958506 100644
--- a/src/plugins/dive/imprecision_graph.ml
+++ b/src/plugins/dive/imprecision_graph.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C plug-in `Dive'. *)
(* *)
-(* Copyright (C) 2007-2019 *)
+(* Copyright (C) 2007-2020 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/dive/imprecision_graph.mli b/src/plugins/dive/imprecision_graph.mli
index 59c9d4709feb45a61c5f2c13e3e84f64c382edb7..e3194bab010165637eed018c3d2153330dd26147 100644
--- a/src/plugins/dive/imprecision_graph.mli
+++ b/src/plugins/dive/imprecision_graph.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C plug-in `Dive'. *)
(* *)
-(* Copyright (C) 2007-2019 *)
+(* Copyright (C) 2007-2020 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/dive/main.ml b/src/plugins/dive/main.ml
index b2a4407c21d7bc0c3db73f30743a22620df8d4a8..373bab6c9a573ecd3d1810fe23c2ca36441030db 100644
--- a/src/plugins/dive/main.ml
+++ b/src/plugins/dive/main.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C plug-in `Dive'. *)
(* *)
-(* Copyright (C) 2007-2019 *)
+(* Copyright (C) 2007-2020 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/dive/node_kind.ml b/src/plugins/dive/node_kind.ml
index b63fe2a0be6917139bec072ca8198cbb23a73960..e0335300fb1526617f032168a14dce4761be10fe 100644
--- a/src/plugins/dive/node_kind.ml
+++ b/src/plugins/dive/node_kind.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C plug-in `Dive'. *)
(* *)
-(* Copyright (C) 2007-2019 *)
+(* Copyright (C) 2007-2020 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/dive/node_kind.mli b/src/plugins/dive/node_kind.mli
index 160f1b80f449e2b7eb6b630ad362190f1bd8e975..606d161a8fbdb99a386434237f0debc1c7d9b1be 100644
--- a/src/plugins/dive/node_kind.mli
+++ b/src/plugins/dive/node_kind.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C plug-in `Dive'. *)
(* *)
-(* Copyright (C) 2007-2019 *)
+(* Copyright (C) 2007-2020 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/dive/self.ml b/src/plugins/dive/self.ml
index 6fcd44e15a52a57b8f42d349cdf7ecebb002e613..ec9312e31cbb70ef5a47f96b041f2cdc1244d3e2 100644
--- a/src/plugins/dive/self.ml
+++ b/src/plugins/dive/self.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C plug-in `Dive'. *)
(* *)
-(* Copyright (C) 2007-2019 *)
+(* Copyright (C) 2007-2020 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/dive/self.mli b/src/plugins/dive/self.mli
index e226ab0a09f5dfe2bf0c2748e01d2046f3e3dd7d..ff3819ddf14a1a967bfe3ced74ce61a8e0cae07f 100644
--- a/src/plugins/dive/self.mli
+++ b/src/plugins/dive/self.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C plug-in `Dive'. *)
(* *)
-(* Copyright (C) 2007-2019 *)
+(* Copyright (C) 2007-2020 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/dive/server_interface.ml b/src/plugins/dive/server_interface.ml
index 216adccba8b647f7666f5bf74eb06278b17a1f8b..cf378625c7da10817519f8abe43bd33f4b559ad7 100644
--- a/src/plugins/dive/server_interface.ml
+++ b/src/plugins/dive/server_interface.ml
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C plug-in `Dive'. *)
(* *)
-(* Copyright (C) 2007-2019 *)
+(* Copyright (C) 2007-2020 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
diff --git a/src/plugins/dive/server_interface.mli b/src/plugins/dive/server_interface.mli
index 9f06f99fa21a09de66786a1ee47369fd3f1f056c..acb8b1fda94de1e45926806a01cc0244d13e82db 100644
--- a/src/plugins/dive/server_interface.mli
+++ b/src/plugins/dive/server_interface.mli
@@ -2,7 +2,7 @@
(* *)
(* This file is part of the Frama-C plug-in `Dive'. *)
(* *)
-(* Copyright (C) 2007-2019 *)
+(* Copyright (C) 2007-2020 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)