Skip to content
GitLab
Commit 8a2e2dd7 authored by Matthew Fernandez's avatar Matthew Fernandez
Browse files

don't simplify the referent of a TypeExprID in the SMT bridge 

Performing simplification within the referent of a TypeExprID is only useful if
we intend to emit pieces of the referent during eventual code generation. This
is not the case currently.
parent 4f561198
Hide whitespace changes
Inline Side-by-side
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment