Skip to content
Snippets Groups Projects
Commit 456231aa authored by Maxime Jacquemin's avatar Maxime Jacquemin Committed by David Bühler
Browse files

[Kernel] Updating the headers

parent 0c5910f0
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/libraries/floating_point/floating_point.c
+ 1
− 1
View file @ 456231aa
......@@ -2,7 +2,7 @@
/* */
/* This file is part of Frama-C. */
/* */
/* Copyright (C) 2007-2024 */
/* Copyright (C) 2007-2025 */
/* CEA (Commissariat à l'énergie atomique et aux énergies */
/* alternatives) */
/* */
......
src/libraries/floating_point/floating_point.ml
+ 1
− 1
View file @ 456231aa
......@@ -2,7 +2,7 @@
(* *)
(* This file is part of Frama-C. *)
(* *)
(* Copyright (C) 2007-2024 *)
(* Copyright (C) 2007-2025 *)
(* CEA (Commissariat à l'énergie atomique et aux énergies *)
(* alternatives) *)
(* *)
......
src/libraries/floating_point/floating_point.mli
+ 1
− 1
View file @ 456231aa
......@@ -2,7 +2,7 @@
(* *)
(* This file is part of Frama-C. *)
(* *)
(* Copyright (C) 2007-2024 *)
(* Copyright (C) 2007-2025 *)
(* 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