From 6ab7bf3b103ab778fccdc667959c544ec50410af Mon Sep 17 00:00:00 2001 From: Virgile Prevosto <virgile.prevosto@m4x.org> Date: Thu, 5 Mar 2020 19:23:38 +0100 Subject: [PATCH] empty files are not treated well by headache. Better have a single line --- src/plugins/instantiate/stdlib/calloc.mli | 2 ++ src/plugins/instantiate/stdlib/free.mli | 2 ++ src/plugins/instantiate/stdlib/malloc.mli | 2 ++ src/plugins/instantiate/string/memcmp.mli | 2 ++ src/plugins/instantiate/string/memcpy.mli | 2 ++ src/plugins/instantiate/string/memmove.mli | 2 ++ src/plugins/instantiate/string/memset.mli | 2 ++ 7 files changed, 14 insertions(+) diff --git a/src/plugins/instantiate/stdlib/calloc.mli b/src/plugins/instantiate/stdlib/calloc.mli index 182bc40a8e1..6ad873cc082 100644 --- a/src/plugins/instantiate/stdlib/calloc.mli +++ b/src/plugins/instantiate/stdlib/calloc.mli @@ -19,3 +19,5 @@ (* for more details (enclosed in the file licenses/LGPLv2.1). *) (* *) (**************************************************************************) + +(* register instantiation for calloc. Nothing is exported. *) diff --git a/src/plugins/instantiate/stdlib/free.mli b/src/plugins/instantiate/stdlib/free.mli index 182bc40a8e1..49d1d0397e2 100644 --- a/src/plugins/instantiate/stdlib/free.mli +++ b/src/plugins/instantiate/stdlib/free.mli @@ -19,3 +19,5 @@ (* for more details (enclosed in the file licenses/LGPLv2.1). *) (* *) (**************************************************************************) + +(* register instantiation for free. Nothing is exported. *) diff --git a/src/plugins/instantiate/stdlib/malloc.mli b/src/plugins/instantiate/stdlib/malloc.mli index 182bc40a8e1..cb602ba318d 100644 --- a/src/plugins/instantiate/stdlib/malloc.mli +++ b/src/plugins/instantiate/stdlib/malloc.mli @@ -19,3 +19,5 @@ (* for more details (enclosed in the file licenses/LGPLv2.1). *) (* *) (**************************************************************************) + +(* register instantiation for malloc. Nothing is exported. *) diff --git a/src/plugins/instantiate/string/memcmp.mli b/src/plugins/instantiate/string/memcmp.mli index 182bc40a8e1..0e837c30d2f 100644 --- a/src/plugins/instantiate/string/memcmp.mli +++ b/src/plugins/instantiate/string/memcmp.mli @@ -19,3 +19,5 @@ (* for more details (enclosed in the file licenses/LGPLv2.1). *) (* *) (**************************************************************************) + +(* register instantiation for memcmp. Nothing is exported. *) diff --git a/src/plugins/instantiate/string/memcpy.mli b/src/plugins/instantiate/string/memcpy.mli index 182bc40a8e1..afc53006e4b 100644 --- a/src/plugins/instantiate/string/memcpy.mli +++ b/src/plugins/instantiate/string/memcpy.mli @@ -19,3 +19,5 @@ (* for more details (enclosed in the file licenses/LGPLv2.1). *) (* *) (**************************************************************************) + +(* register instantiation for memcpy. Nothing is exported. *) diff --git a/src/plugins/instantiate/string/memmove.mli b/src/plugins/instantiate/string/memmove.mli index 182bc40a8e1..d290ece4099 100644 --- a/src/plugins/instantiate/string/memmove.mli +++ b/src/plugins/instantiate/string/memmove.mli @@ -19,3 +19,5 @@ (* for more details (enclosed in the file licenses/LGPLv2.1). *) (* *) (**************************************************************************) + +(* register instantiation for memmove. Nothing is exported. *) diff --git a/src/plugins/instantiate/string/memset.mli b/src/plugins/instantiate/string/memset.mli index 182bc40a8e1..dae10798932 100644 --- a/src/plugins/instantiate/string/memset.mli +++ b/src/plugins/instantiate/string/memset.mli @@ -19,3 +19,5 @@ (* for more details (enclosed in the file licenses/LGPLv2.1). *) (* *) (**************************************************************************) + +(* register instantiation for memset. Don't export anything *) -- GitLab