Merge pull request #27 from LPCIC/fix-elpi-2.0

fix default options for 2.0

Author: gares

.github/workflows/main.yaml

@@ -31,7 +31,7 @@ jobs:
       - run: vsce package
 
       - name: Save Artifact
-        uses: actions/upload-artifact@v3
+        uses: actions/upload-artifact@v4
         with:
           name: 'extension package ${{ matrix.node-version }}'
           path: ./elpi-lang-*.vsix

package.json

@@ -76,7 +76,7 @@
 			"properties": {
 				"elpi.elpi.options": {
 					"type": "string",
-					"default": "-no-tc -trace-on json [OUTPUT] -trace-at run 0 999 -trace-only user",
+					"default": "-trace-on json [OUTPUT] -trace-at run 0 999 -trace-only user",
 					"markdownDescription": "Command line arguments"
 				},
 				"elpi.elpi.path": {