language-servers/egglog-language-server
1
0
Fork 0
mirror of https://github.com/hatoo/egglog-language-server.git synced 2025-12-23 04:36:33 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

fix

Browse source
This commit is contained in:
hatoo 2024-02-17 16:27:13 +09:00
parent 2442d01716
commit 7e2fc5f919
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
extension.js
View file

@ -61,7 +61,7 @@ function activate(context) {
const relativeFile = document.uri.fsPath;
let process_exec = new vscode.ProcessExecution("egglog", [
"--desugar",
"--show", "desugared-egglog",
relativeFile
]);