diff --git a/extension.js b/extension.js index 138279c..96e09a3 100644 --- a/extension.js +++ b/extension.js @@ -61,7 +61,7 @@ function activate(context) { const relativeFile = document.uri.fsPath; let process_exec = new vscode.ProcessExecution("egglog", [ - "--desugar", + "--show", "desugared-egglog", relativeFile ]);