Merge pull request #206 from saulshanabrook/saulshanabrook-patch-1

Fix to_sexp for extract
egraphs-good · Aug 28, 2023 · a79d2c4 · a79d2c4
2 parents 9cfe8b9 + b2584a8
commit a79d2c4
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/ast/mod.rs b/src/ast/mod.rs
@@ -395,7 +395,9 @@ impl ToSexp for Command {
             } => rule.to_sexp(*ruleset, *name),
             Command::RunSchedule(sched) => list!("run-schedule", sched),
             Command::Calc(args, exprs) => list!("calc", list!(++ args), ++ exprs),
-            Command::Extract { variants, fact } => list!("extract", ":variants", variants, fact),
+            Command::Extract { variants, fact } => {
+                list!("query-extract", ":variants", variants, fact)
+            }
             Command::Check(facts) => list!("check", ++ facts),
             Command::CheckProof => list!("check-proof"),
             Command::Push(n) => list!("push", n),