From d14aebfb22fe979182d4d16afdb4c80472457b06 Mon Sep 17 00:00:00 2001 From: DavidCok <cok@frontiernet.net> Date: Mon, 5 Aug 2019 12:45:48 +0200 Subject: [PATCH] Removing obsolete builtin.h --- share/builtin.h | 23 ----------------------- 1 file changed, 23 deletions(-) delete mode 100644 share/builtin.h diff --git a/share/builtin.h b/share/builtin.h deleted file mode 100644 index ce5a87c749a..00000000000 --- a/share/builtin.h +++ /dev/null @@ -1,23 +0,0 @@ -/**************************************************************************/ -/* */ -/* This file is part of Frama-C. */ -/* */ -/* Copyright (C) 2007-2019 */ -/* CEA (Commissariat à l'énergie atomique et aux énergies */ -/* alternatives) */ -/* */ -/* 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. */ -/* */ -/* See the GNU Lesser General Public License version 2.1 */ -/* for more details (enclosed in the file licenses/LGPLv2.1). */ -/* */ -/**************************************************************************/ - -#error "Use share/__fc_builtin.h instead" -- GitLab