diff --git a/src/plugins/server/kernel_properties.ml b/src/plugins/server/kernel_properties.ml
index 6e30d45d923f92c4ac2881dda3775547a1420d89..72812b886a732d18efa1c6ec63143e5d97539f66 100644
--- a/src/plugins/server/kernel_properties.ml
+++ b/src/plugins/server/kernel_properties.ml
@@ -2,7 +2,7 @@
 (*                                                                        *)
 (*  This file is part of Frama-C.                                         *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2019                                               *)
+(*  Copyright (C) 2007-2020                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/server/kernel_properties.mli b/src/plugins/server/kernel_properties.mli
index 9e7b4bf1e70f54b10d8de1340029d320cbfcdcdf..41847c20a2bb51b62d8287e7be5e2e3afc6dde11 100644
--- a/src/plugins/server/kernel_properties.mli
+++ b/src/plugins/server/kernel_properties.mli
@@ -2,7 +2,7 @@
 (*                                                                        *)
 (*  This file is part of Frama-C.                                         *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2019                                               *)
+(*  Copyright (C) 2007-2020                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/server/states.ml b/src/plugins/server/states.ml
index bf7a29ee0de8247afb2de2bf1282dbc66915a1df..9b388ef7387d88df07088c0bc54a366c786e53bd 100644
--- a/src/plugins/server/states.ml
+++ b/src/plugins/server/states.ml
@@ -2,7 +2,7 @@
 (*                                                                        *)
 (*  This file is part of Frama-C.                                         *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2019                                               *)
+(*  Copyright (C) 2007-2020                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)
diff --git a/src/plugins/server/states.mli b/src/plugins/server/states.mli
index 01080d8a0522afc62f7eef85aa4fa1c9885b666f..1a90986e1123e46fd668b37876488ade9a35e15d 100644
--- a/src/plugins/server/states.mli
+++ b/src/plugins/server/states.mli
@@ -2,7 +2,7 @@
 (*                                                                        *)
 (*  This file is part of Frama-C.                                         *)
 (*                                                                        *)
-(*  Copyright (C) 2007-2019                                               *)
+(*  Copyright (C) 2007-2020                                               *)
 (*    CEA (Commissariat à l'énergie atomique et aux énergies              *)
 (*         alternatives)                                                  *)
 (*                                                                        *)