Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Remove sole reference to embedded exponent
"Embedded" and "internal" have very similar meanings in English so it's pretty confusing for them to mean opposite things in CHERI. Fortunately there was only one reference to "embedded" so it's easy enough to remove it.
- Loading branch information