From d786a55663afde62abc08b65b7a0a947fb1fb9d7 Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Mon, 8 Feb 2021 18:52:49 +0100 Subject: [PATCH] [headers] headache does not like empty files --- src/plugins/dive/Dive.mli | 2 ++ src/plugins/dive/server_interface.mli | 2 ++ src/plugins/studia/studia_request.mli | 2 ++ src/plugins/value/api/values_request.mli | 2 ++ 4 files changed, 8 insertions(+) diff --git a/src/plugins/dive/Dive.mli b/src/plugins/dive/Dive.mli index cce51dc83ef..fa8a4b16cfb 100644 --- a/src/plugins/dive/Dive.mli +++ b/src/plugins/dive/Dive.mli @@ -19,3 +19,5 @@ (* for more details (enclosed in the file licenses/LGPLv2.1). *) (* *) (**************************************************************************) + +(* This plugin does not export anything to the OCaml API. *) diff --git a/src/plugins/dive/server_interface.mli b/src/plugins/dive/server_interface.mli index cce51dc83ef..c639db5ea04 100644 --- a/src/plugins/dive/server_interface.mli +++ b/src/plugins/dive/server_interface.mli @@ -19,3 +19,5 @@ (* for more details (enclosed in the file licenses/LGPLv2.1). *) (* *) (**************************************************************************) + +(* Dive API for the server. Nothing is exported. *) diff --git a/src/plugins/studia/studia_request.mli b/src/plugins/studia/studia_request.mli index cce51dc83ef..6f3514109ea 100644 --- a/src/plugins/studia/studia_request.mli +++ b/src/plugins/studia/studia_request.mli @@ -19,3 +19,5 @@ (* for more details (enclosed in the file licenses/LGPLv2.1). *) (* *) (**************************************************************************) + +(* Studia API for Frama-C server. Nothing is exported. *) diff --git a/src/plugins/value/api/values_request.mli b/src/plugins/value/api/values_request.mli index cce51dc83ef..006a2946711 100644 --- a/src/plugins/value/api/values_request.mli +++ b/src/plugins/value/api/values_request.mli @@ -19,3 +19,5 @@ (* for more details (enclosed in the file licenses/LGPLv2.1). *) (* *) (**************************************************************************) + +(* Eva API to Frama-C server. Nothing is exported. *) -- GitLab