We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
2 parents 6961623 + bf09e5e commit b6400e7Copy full SHA for b6400e7
src/EGraphs/saturation.jl
@@ -192,8 +192,8 @@ Instantiate argument for dynamic rule application in e-graph
192
function instantiate_actual_param!(bindings::Bindings, g::EGraph, i)
193
ecid, literal_position = bindings[i]
194
ecid <= 0 && error("unbound pattern variable $pat in rule $rule")
195
+ eclass = g[ecid]
196
if literal_position > 0
- eclass = g[ecid]
197
@assert eclass[literal_position] isa ENodeLiteral
198
return eclass[literal_position].value
199
end
0 commit comments