From 4b2e7fbd0be0fd4405230bc3676b24d375449e90 Mon Sep 17 00:00:00 2001 From: Valentin Perrelle <valentin.perrelle@cea.fr> Date: Thu, 29 Aug 2019 16:07:29 +0200 Subject: [PATCH] [Dive] Fix headers --- src/plugins/dive/headers/header_spec.txt | 3 +++ src/plugins/dive/server_interface.ml | 2 +- src/plugins/dive/server_interface.mli | 2 +- 3 files changed, 5 insertions(+), 2 deletions(-) diff --git a/src/plugins/dive/headers/header_spec.txt b/src/plugins/dive/headers/header_spec.txt index 492871b2874..b6d32434c6e 100644 --- a/src/plugins/dive/headers/header_spec.txt +++ b/src/plugins/dive/headers/header_spec.txt @@ -10,5 +10,8 @@ imprecision_graph.mli: LGPL.Dive main.ml: LGPL.Dive Makefile.in: LGPL.Dive node_kind.ml: LGPL.Dive +node_kind.mli: LGPL.Dive self.ml: LGPL.Dive self.mli: LGPL.Dive +server_interface.ml: LGPL.Dive +server_interface.mli: LGPL.Dive diff --git a/src/plugins/dive/server_interface.ml b/src/plugins/dive/server_interface.ml index d1d8dfd9d22..f286dd01c16 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) 2018 *) +(* Copyright (C) 2007-2019 *) (* 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 77495598c83..9f06f99fa21 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) 2018 *) +(* Copyright (C) 2007-2019 *) (* CEA (Commissariat à l'énergie atomique et aux énergies *) (* alternatives) *) (* *) -- GitLab