From 66e84a8bc35d02daea7f629fc76957b0cb98654b Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Thu, 9 Jun 2022 16:37:19 +0200
Subject: [PATCH] fixes src/plugins/reduc/Reduc.ml
---
src/plugins/reduc/{Reduc.mli => Reduc.ml} | 0
src/plugins/reduc/reduc.ml | 22 ----------------------
2 files changed, 22 deletions(-)
rename src/plugins/reduc/{Reduc.mli => Reduc.ml} (100%)
delete mode 100644 src/plugins/reduc/reduc.ml
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 dbfd6a405af..00000000000
--- 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). *)
-(* *)
-(**************************************************************************)
-
--
GitLab