Update tests

This commit is contained in:
Elie Richa
2024-10-07 16:36:49 +00:00
parent f9155401d3
commit 33fd8cdf54
3 changed files with 3 additions and 3 deletions

View File

@@ -95,7 +95,7 @@
}
}
},
"message": "The project file has errors and could not be loaded."
"message": "The project file was loaded but contains Warnings."
},
{
"location": {

View File

@@ -1 +1 @@
with "config/hello_config.gpr";project Hello is end Hello;
with "config/hello_config.gpr";project Hello is for Source_Dirs use ("src"); end Hello;

View File

@@ -55,7 +55,7 @@
"request": {
"params": {
"textDocument": {
"text": "with \"config/hello_config.gpr\";project Hello is end Hello;",
"text": "with \"config/hello_config.gpr\";project Hello is for Source_Dirs use (\"src\"); end Hello;",
"version": 0,
"uri": "$URI{hello.gpr}",
"languageId": "Gpr"