From 41cf212fdd87bd870622c6dabe6bd65e39a282d5 Mon Sep 17 00:00:00 2001 From: Allan Blanchard <allan.blanchard@cea.fr> Date: Fri, 27 Mar 2020 17:42:46 +0100 Subject: [PATCH] [Instantiate] Adds files to header-check --- headers/header_spec.txt | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/headers/header_spec.txt b/headers/header_spec.txt index 2ada5971dd2..d9acf0cdd50 100644 --- a/headers/header_spec.txt +++ b/headers/header_spec.txt @@ -945,6 +945,8 @@ src/plugins/occurrence/register_gui.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/occurrence/register_gui.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/instantiate/basic_blocks.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/instantiate/basic_blocks.mli: CEA_LGPL_OR_PROPRIETARY +src/plugins/instantiate/global_vars.ml: CEA_LGPL_OR_PROPRIETARY +src/plugins/instantiate/global_vars.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/instantiate/Instantiate.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/instantiate/instantiator_builder.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/instantiate/instantiator_builder.mli: CEA_LGPL_OR_PROPRIETARY @@ -958,6 +960,8 @@ src/plugins/instantiate/stdlib/free.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/instantiate/stdlib/free.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/instantiate/stdlib/malloc.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/instantiate/stdlib/malloc.mli: CEA_LGPL_OR_PROPRIETARY +src/plugins/instantiate/string/mem_utils.ml: CEA_LGPL_OR_PROPRIETARY +src/plugins/instantiate/string/mem_utils.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/instantiate/string/memcmp.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/instantiate/string/memcmp.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/instantiate/string/memcpy.ml: CEA_LGPL_OR_PROPRIETARY -- GitLab