You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Had the same issue. Solved it in VSCode. Open the preferences (CTRL ,) then search for "Editor: tab size" and enter 3 if your configuration project file uses flag -gnaty3. Or change that value to -gnaty4 as 4 is the default indent level in VSCode.
The default indentation setting of the vscode plugin generates
bad indentation
warnings:I made sure that the formatter is provided by
Ada & Spark
.The text was updated successfully, but these errors were encountered: