From 39b9be4821b6eea14b6e915957a4596255c90043 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr> Date: Thu, 9 Jul 2020 12:20:10 +0200 Subject: [PATCH] [eva] headers --- headers/header_spec.txt | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/headers/header_spec.txt b/headers/header_spec.txt index 2be7f72a6f4..5d791ad40ee 100644 --- a/headers/header_spec.txt +++ b/headers/header_spec.txt @@ -1208,8 +1208,8 @@ src/plugins/value/Changelog_non_free: .ignore src/plugins/value/Eva.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/value/alarmset.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/value/alarmset.mli: CEA_LGPL_OR_PROPRIETARY -src/plugins/value/api/eva_requests.ml: CEA_LGPL_OR_PROPRIETARY -src/plugins/value/api/eva_requests.mli: CEA_LGPL_OR_PROPRIETARY +src/plugins/value/api/general_requests.ml: CEA_LGPL_OR_PROPRIETARY +src/plugins/value/api/general_requests.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/value/domains/abstract_domain.mli: CEA_LGPL_OR_PROPRIETARY src/plugins/value/domains/printer_domain.ml: CEA_LGPL_OR_PROPRIETARY src/plugins/value/domains/printer_domain.mli: CEA_LGPL_OR_PROPRIETARY -- GitLab