From d635d4a8d2f4acdc9ed58a757dc141a91b97f525 Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Wed, 17 Feb 2021 15:37:24 +0100 Subject: [PATCH] [headers] No headers in tests --- tests/syntax/ghost_cv_var_decl.ml | 21 --------------------- 1 file changed, 21 deletions(-) diff --git a/tests/syntax/ghost_cv_var_decl.ml b/tests/syntax/ghost_cv_var_decl.ml index 7d60ff48a6a..4f307bc08e3 100644 --- a/tests/syntax/ghost_cv_var_decl.ml +++ b/tests/syntax/ghost_cv_var_decl.ml @@ -1,24 +1,3 @@ -(**************************************************************************) -(* *) -(* This file is part of Frama-C. *) -(* *) -(* Copyright (C) 2007-2020 *) -(* CEA (Commissariat à l'énergie atomique et aux énergies *) -(* alternatives) *) -(* INRIA (Institut National de Recherche en Informatique et en *) -(* Automatique) *) -(* *) -(* you can redistribute it and/or modify it under the terms of the GNU *) -(* Lesser General Public License as published by the Free Software *) -(* Foundation, version 2.1. *) -(* *) -(* It is distributed in the hope that it will be useful, *) -(* but WITHOUT ANY WARRANTY; without even the implied warranty of *) -(* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *) -(* GNU Lesser General Public License for more details. *) -(* *) -(**************************************************************************) - open Cil_types let rec ghost_status fmt lval = -- GitLab