Merge pull request #152 from kylebd99/patch-1

One-line change to fix error message
JuliaSymbolics · Apr 28, 2023 · b6400e7 · b6400e7
2 parents 6961623 + bf09e5e
commit b6400e7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/EGraphs/saturation.jl b/src/EGraphs/saturation.jl
@@ -192,8 +192,8 @@ Instantiate argument for dynamic rule application in e-graph
 function instantiate_actual_param!(bindings::Bindings, g::EGraph, i)
  ecid, literal_position = bindings[i]
  ecid <= 0 && error("unbound pattern variable $pat in rule $rule")
+ eclass = g[ecid]
  if literal_position > 0
- eclass = g[ecid]
  @assert eclass[literal_position] isa ENodeLiteral
  return eclass[literal_position].value
  end