diff options
| author | Gabriel Kerneis | 2014-06-11 17:46:41 +0100 |
|---|---|---|
| committer | Gabriel Kerneis | 2014-06-11 17:46:41 +0100 |
| commit | f2fa48b95a789fdeca777ea1cb932a3657faeed3 (patch) | |
| tree | 0fd7558d1f3865814c5fec4b5f05e21948bab67c /src/lem_interp/pretty_interp.ml | |
| parent | 6883558e6b8352f77cb1ff342789af0280dc32c1 (diff) | |
power.sail: store mode64bit in a bool register
This is now possible because we handle coercions better.
Diffstat (limited to 'src/lem_interp/pretty_interp.ml')
0 files changed, 0 insertions, 0 deletions