From edb1c95528f279009aa7baa0b4d8bd4eb60e404a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 17 Jun 2020 14:23:56 +0200
Subject: [PATCH] [Dive] Updates the copyright year in headers.
---
src/plugins/dive/Dive.mli | 2 +-
src/plugins/dive/Makefile.in | 2 +-
src/plugins/dive/build.ml | 2 +-
src/plugins/dive/build.mli | 2 +-
src/plugins/dive/callstack.ml | 2 +-
src/plugins/dive/callstack.mli | 2 +-
src/plugins/dive/configure.ac | 2 +-
src/plugins/dive/graph_types.mli | 2 +-
src/plugins/dive/headers/close-source/LGPL.Dive | 2 +-
src/plugins/dive/headers/open-source/LGPL.Dive | 2 +-
src/plugins/dive/imprecision_graph.ml | 2 +-
src/plugins/dive/imprecision_graph.mli | 2 +-
src/plugins/dive/main.ml | 2 +-
src/plugins/dive/node_kind.ml | 2 +-
src/plugins/dive/node_kind.mli | 2 +-
src/plugins/dive/self.ml | 2 +-
src/plugins/dive/self.mli | 2 +-
src/plugins/dive/server_interface.ml | 2 +-
src/plugins/dive/server_interface.mli | 2 +-
19 files changed, 19 insertions(+), 19 deletions(-)
diff --git a/src/plugins/dive/Dive.mli b/src/plugins/dive/Dive.mli
index 1aa32233655..c6933a73bc1 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 b435afe3c72..d2a945eff91 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 bb310e803a8..b22b27cca53 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 7bd5f3af5ad..2de92ccbd83 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 d41947ccc26..d61097fd535 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 a3837bf01e2..f8073bfcf77 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 68566e436c7..fe369c0ccd8 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 360208e0c06..cfd8a04aa9a 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 a4e1f56a8cc..367db7ff3b1 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 a4e1f56a8cc..367db7ff3b1 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 c6295bc88ec..a2afcae0b51 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 59c9d4709fe..e3194bab010 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 b2a4407c21d..373bab6c9a5 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 b63fe2a0be6..e0335300fb1 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 160f1b80f44..606d161a8fb 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 6fcd44e15a5..ec9312e31cb 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 e226ab0a09f..ff3819ddf14 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 216adccba8b..cf378625c7d 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 9f06f99fa21..acb8b1fda94 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) *)
(* *)
--
GitLab