From 9b7b140c364d526d9b0bb212f9e44be859348555 Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@cea.fr> Date: Mon, 16 Sep 2024 16:14:24 +0200 Subject: [PATCH] fix header --- src/kernel_internals/parsing/logic_parser.mly | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/kernel_internals/parsing/logic_parser.mly b/src/kernel_internals/parsing/logic_parser.mly index eed9555e41..83b6fdab5f 100644 --- a/src/kernel_internals/parsing/logic_parser.mly +++ b/src/kernel_internals/parsing/logic_parser.mly @@ -2,7 +2,7 @@ /* */ /* This file is part of Frama-C. */ /* */ -/* Copyright (C) 2007-2023 */ +/* Copyright (C) 2007-2024 */ /* CEA (Commissariat à l'énergie atomique et aux énergies */ /* alternatives) */ /* INRIA (Institut National de Recherche en Informatique et en */ -- GitLab