UB26-005: Add -P to gnatprove args only if a project is set - Githubissues

AdaCore / ada_language_server

Server implementing the Microsoft Language Protocol for Ada and SPARK

GNU General Public License v3.0

228 stars 54 forks source link

UB26-005: Add -P to gnatprove args only if a project is set #1015

Closed AnthonyLeonardoGracio closed 2 years ago