From 12c62c649a68f4b8618cbfdfc4fb83370cf8a119 Mon Sep 17 00:00:00 2001 From: Basile Desloges <basile.desloges@cea.fr> Date: Fri, 3 Sep 2021 13:51:46 +0200 Subject: [PATCH] [eacsl] Remove `dep_eva.*` files from `header_spec.txt` --- src/plugins/e-acsl/headers/header_spec.txt | 3 --- 1 file changed, 3 deletions(-) diff --git a/src/plugins/e-acsl/headers/header_spec.txt b/src/plugins/e-acsl/headers/header_spec.txt index f6569f54e12..ba5c6cbe99e 100644 --- a/src/plugins/e-acsl/headers/header_spec.txt +++ b/src/plugins/e-acsl/headers/header_spec.txt @@ -130,9 +130,6 @@ src/code_generator/translate_annots.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL src/code_generator/translate_annots.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL src/code_generator/typed_number.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL src/code_generator/typed_number.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL -src/dependencies/dep_eva.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL -src/dependencies/dep_eva.enabled.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL -src/dependencies/dep_eva.disabled.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL src/libraries/builtins.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL src/libraries/builtins.mli: CEA_LGPL_OR_PROPRIETARY.E_ACSL src/libraries/error.ml: CEA_LGPL_OR_PROPRIETARY.E_ACSL -- GitLab