Fix GNATprove code sample

And format the whole file.

(no-issue-check)

Author: AnthonyLeonardoGracio

integration/vscode/Code Samples/gnatprove/.vscode/tasks.json

@@ -1,80 +1,72 @@
 {
-    // See https://go.microsoft.com/fwlink/?LinkId=733558
-    // for the documentation about the tasks.json format
-    "version": "2.0.0",
-    "tasks": [
-        {
-            "label": "build",
-            "type": "shell",
-            "command": "gprbuild",
-            "options": {
-                "cwd": "${workspaceFolder}"
+   // See https://go.microsoft.com/fwlink/?LinkId=733558
+   // for the documentation about the tasks.json format
+   "version": "2.0.0",
+   "tasks": [
+      {
+         "label": "build",
+         "type": "shell",
+         "command": "gprbuild",
+         "options": {
+            "cwd": "${workspaceFolder}"
+         },
+         "args": ["-p", "-P", "test.gpr", "-cargs", "-gnatef"],
+         "problemMatcher": ["$ada-error", "$ada-warning", "$ada-info"],
+         "group": {
+            "kind": "build",
+            "isDefault": true
+         }
+      },
+      {
+         "label": "prove",
+         "type": "shell",
+         "command": "gnatprove",
+         "options": {
+            "cwd": "${workspaceFolder}"
+         },
+         "args": ["--report=all", "-P", "test.gpr", "-cargs", "-gnatef"],
+         "problemMatcher": [
+            {
+               "owner": "ada",
+               "fileLocation": ["autoDetect", "${workspaceFolder}"],
+               "severity": "error",
+               "pattern": {
+                  "regexp": "(\\S+):(\\d+):(\\d+): error: (.+)",
+                  "file": 1,
+                  "line": 2,
+                  "column": 3,
+                  "message": 4
+               }
             },
-            "args": [
-                "-p",
-                "-P",
-                "test.gpr"
-                "-cargs",
-                "-gnatef"
-            ],
-            "problemMatcher": ["$ada-error", "$ada-warning", "$ada-info"],
-            "group": {
-                "kind": "build",
-                "isDefault": true
-            }
-        },
-        {
-            "label": "prove",
-            "type": "shell",
-            "command": "gnatprove",
-            "options": {
-                "cwd": "${workspaceFolder}"
+            {
+               "owner": "ada",
+               "fileLocation": ["autoDetect", "${workspaceFolder}"],
+               "severity": "warning",
+               "pattern": {
+                  "regexp": "(\\S+):(\\d+):(\\d+): warning: (.+)",
+                  "file": 1,
+                  "line": 2,
+                  "column": 3,
+                  "message": 4
+               }
             },
-            "args": [
-                "--report=all",
-                "-P",
-                "test.gpr",
-                "-cargs",
-                "-gnatef"
-            ],
-            "problemMatcher": [{
-                "owner": "ada",
-                "fileLocation": ["autoDetect", "${workspaceFolder}"],
-                "severity": "error",
-                "pattern": {
-                    "regexp": "(\\S+):(\\d+):(\\d+): error: (.+)",
-                    "file": 1,
-                    "line": 2,
-                    "column": 3,
-                    "message": 4
-                }
-            },{
-                "owner": "ada",
-                "fileLocation": ["autoDetect", "${workspaceFolder}"],
-                "severity": "warning",
-                "pattern": {
-                    "regexp": "(\\S+):(\\d+):(\\d+): warning: (.+)",
-                    "file": 1,
-                    "line": 2,
-                    "column": 3,
-                    "message": 4
-                }
-            },{
-                "owner": "ada",
-                "fileLocation": ["autoDetect", "${workspaceFolder}"],
-                "severity": "info",
-                "pattern": {
-                    "regexp": "(\\S+):(\\d+):(\\d+): info: (.+)",
-                    "file": 1,
-                    "line": 2,
-                    "column": 3,
-                    "message": 4
-                }
-            }],
-            "group": {
-                "kind": "build",
-                "isDefault": true
+            {
+               "owner": "ada",
+               "fileLocation": ["autoDetect", "${workspaceFolder}"],
+               "severity": "info",
+               "pattern": {
+                  "regexp": "(\\S+):(\\d+):(\\d+): info: (.+)",
+                  "file": 1,
+                  "line": 2,
+                  "column": 3,
+                  "message": 4
+               }
             }
-        }
-    ]
+         ],
+         "group": {
+            "kind": "build",
+            "isDefault": true
+         }
+      }
+   ]
 }