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.
1 parent a630413 commit b997386Copy full SHA for b997386
src/api.jl
@@ -61,7 +61,7 @@ function substitute(expr, dict; fold=true)
61
else
62
args = map(x->substitute(x, dict), arguments(expr))
63
end
64
- similarterm(expr, operation(expr), args, metadata=metadata(expr))
+ similarterm(expr, operation(expr), args, symtype(expr), metadata=metadata(expr))
65
66
expr
67
0 commit comments