From 935a40ebbd2ddc9949ddd564e11910804fa3265c Mon Sep 17 00:00:00 2001 From: Valentin Perrelle <valentin.perrelle@cea.fr> Date: Wed, 19 Dec 2018 20:02:50 +0100 Subject: [PATCH] [Aorai] Update headers --- headers/header_spec.txt | 3 +++ 1 file changed, 3 insertions(+) diff --git a/headers/header_spec.txt b/headers/header_spec.txt index 27b6beac554..9c0a53d6a38 100644 --- a/headers/header_spec.txt +++ b/headers/header_spec.txt @@ -714,6 +714,9 @@ src/plugins/aorai/VERSIONS.txt: .ignore src/plugins/aorai/YA.README: .ignore src/plugins/aorai/aorai_dataflow.ml: AORAI_LGPL src/plugins/aorai/aorai_dataflow.mli: AORAI_LGPL +src/plugins/aorai/aorai_graph.ml: AORAI_LGPL +src/plugins/aorai/aorai_graph.mli: AORAI_LGPL +src/plugins/aorai/aorai_metavariables.ml: AORAI_LGPL src/plugins/aorai/aorai_option.ml: AORAI_LGPL src/plugins/aorai/aorai_option.mli: AORAI_LGPL src/plugins/aorai/aorai_register.ml: AORAI_LGPL -- GitLab