From 05fec0fd0354842052bab59e01777d801cdd27eb Mon Sep 17 00:00:00 2001 From: Hugo GUERRIER Date: Thu, 6 Apr 2023 17:30:51 +0200 Subject: [PATCH] Change the ada_gpr_project_source_files signature in C header --- extensions/analysis/c_api/header | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/extensions/analysis/c_api/header b/extensions/analysis/c_api/header index 18a180592..1d68f3f11 100644 --- a/extensions/analysis/c_api/header +++ b/extensions/analysis/c_api/header @@ -55,7 +55,12 @@ ${capi.get_name('gpr_project_create_unit_provider')} ( ${c_doc('libadalang.gpr_project_source_files')} extern ${str_array_type} -${capi.get_name('gpr_project_source_files')} (${project_type} self, int mode); +${capi.get_name('gpr_project_source_files')} ( + ${project_type} self, + int mode, + char **projects_data, + int projects_length +); ${c_doc('libadalang.create_project_unit_provider')} extern ${unit_provider_type}