diff --git a/headers/header_spec.txt b/headers/header_spec.txt index 27b6beac5547cd0d203f912d37adb9724f172e37..9c0a53d6a3800d7f1fce796a7dee9b051d05d35e 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