From c0232f49959953fc13ecb189c0f15b0362adc20f Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Fri, 17 Sep 2021 15:30:29 +0200 Subject: [PATCH] [lint] ensures empty files with header pass linter --- .../ast_transformations/contract_special_float.mli | 1 + src/plugins/reduc/Reduc.mli | 1 + src/plugins/studia/studia_gui.mli | 2 ++ 3 files changed, 4 insertions(+) diff --git a/src/kernel_services/ast_transformations/contract_special_float.mli b/src/kernel_services/ast_transformations/contract_special_float.mli index 676dc9b6fa4..3dd81628ff8 100644 --- a/src/kernel_services/ast_transformations/contract_special_float.mli +++ b/src/kernel_services/ast_transformations/contract_special_float.mli @@ -20,3 +20,4 @@ (* *) (**************************************************************************) +(* No function exported *) diff --git a/src/plugins/reduc/Reduc.mli b/src/plugins/reduc/Reduc.mli index 676dc9b6fa4..49010ca1bf7 100644 --- a/src/plugins/reduc/Reduc.mli +++ b/src/plugins/reduc/Reduc.mli @@ -20,3 +20,4 @@ (* *) (**************************************************************************) +(* This plugin does not export anything *) diff --git a/src/plugins/studia/studia_gui.mli b/src/plugins/studia/studia_gui.mli index cce51dc83ef..5f8a7338f77 100644 --- a/src/plugins/studia/studia_gui.mli +++ b/src/plugins/studia/studia_gui.mli @@ -19,3 +19,5 @@ (* for more details (enclosed in the file licenses/LGPLv2.1). *) (* *) (**************************************************************************) + +(* no function exported *) -- GitLab