Skip to content

Commit

Permalink
update command
Browse files Browse the repository at this point in the history
  • Loading branch information
hatoo committed Feb 15, 2024
1 parent 5ef03d9 commit 5c60e90
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/main.rs
Original file line number Diff line number Diff line change
Expand Up @@ -63,7 +63,7 @@ fn desugar(src: &str) -> anyhow::Result<String> {
use std::io::Write;

let mut child = std::process::Command::new("egglog")
.args(["--desugar", "/dev/stdin"])
.args(["--show", "desugared-egglog", "/dev/stdin"])
.stdin(Stdio::piped())
.stdout(Stdio::piped())
.stderr(Stdio::piped())
Expand Down

0 comments on commit 5c60e90

Please sign in to comment.