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

fix SSA mistake in the read_raw() proof 

This only starts having an impact when we allow >64-bit widths.
parent aa4f9e97
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