diff --git a/src/plugins/reduc/Reduc.mli b/src/plugins/reduc/Reduc.ml similarity index 100% rename from src/plugins/reduc/Reduc.mli rename to src/plugins/reduc/Reduc.ml diff --git a/src/plugins/reduc/reduc.ml b/src/plugins/reduc/reduc.ml deleted file mode 100644 index dbfd6a405af9c6580d58f6f22b455bb7d62a9cdf..0000000000000000000000000000000000000000 --- a/src/plugins/reduc/reduc.ml +++ /dev/null @@ -1,22 +0,0 @@ -(**************************************************************************) -(* *) -(* This file is part of Frama-C. *) -(* *) -(* Copyright (C) 2007-2022 *) -(* 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). *) -(* *) -(**************************************************************************) -