parse_program egglog

philzook58 · Oct 24, 2024 · 8ecf44b · 8ecf44b
1 parent 00c37c5
commit 8ecf44b
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/kdrag/solvers/untrusted.py b/kdrag/solvers/untrusted.py
@@ -30,7 +30,7 @@ def __init__(self, debug=False):
     def run_cmd(self, cmd: str):
         if self.debug:
             print(cmd)
-        commands = self.egraph.parse_program(cmd)
+        commands = eggbnd.parse_program(cmd)
         return self.egraph.run_program(*commands)
 
     def add(self, rule: smt.ExprRef):