fix

hatoo · Feb 17, 2024 · 7e2fc5f · 7e2fc5f
1 parent 2442d01
commit 7e2fc5f
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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
         ]);