From 089022876ff9b1052724e937e48f04e06167c598 Mon Sep 17 00:00:00 2001 From: Basile Desloges <basile.desloges@cea.fr> Date: Fri, 15 Oct 2021 15:20:57 +0200 Subject: [PATCH] [plugins] Remove unneeded .mli files --- src/plugins/aorai/tests/Aorai_test.mli | 1 - src/plugins/aorai/tests/ya/name_projects.mli | 1 - src/plugins/e-acsl/tests/print.mli | 21 -------------------- 3 files changed, 23 deletions(-) delete mode 100644 src/plugins/aorai/tests/Aorai_test.mli delete mode 100644 src/plugins/aorai/tests/ya/name_projects.mli delete mode 100644 src/plugins/e-acsl/tests/print.mli diff --git a/src/plugins/aorai/tests/Aorai_test.mli b/src/plugins/aorai/tests/Aorai_test.mli deleted file mode 100644 index 93dd0917c85..00000000000 --- a/src/plugins/aorai/tests/Aorai_test.mli +++ /dev/null @@ -1 +0,0 @@ -(* Nothing is exported. *) diff --git a/src/plugins/aorai/tests/ya/name_projects.mli b/src/plugins/aorai/tests/ya/name_projects.mli deleted file mode 100644 index 257f4adfc76..00000000000 --- a/src/plugins/aorai/tests/ya/name_projects.mli +++ /dev/null @@ -1 +0,0 @@ -(* nothing is exported. *) diff --git a/src/plugins/e-acsl/tests/print.mli b/src/plugins/e-acsl/tests/print.mli deleted file mode 100644 index 9e846eed54c..00000000000 --- a/src/plugins/e-acsl/tests/print.mli +++ /dev/null @@ -1,21 +0,0 @@ -(**************************************************************************) -(* *) -(* This file is part of the Frama-C's E-ACSL plug-in. *) -(* *) -(* Copyright (C) 2012-2020 *) -(* 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). *) -(* *) -(**************************************************************************) -- GitLab