diff options
| author | Robert Norton | 2017-04-06 12:34:49 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-06 12:35:11 +0100 |
| commit | d716893e137a41638b449162dc8b5c682eb7f4d4 (patch) | |
| tree | 485bc65b832df155ce7c5cb259f60127d2932240 /src/test/run_power.ml | |
| parent | 22a5dd79b302a7da4170f58d0c54115c1d4a69ac (diff) | |
use set_register when writing element of vector of registers to avoid accidentally replacing Vregister with Vvalue or Vregister... Seems to work for MIPS but not sure if might encounter vector of something other than bit or register. A more specific value type would have made this a compile-time error rather than run-time.
Diffstat (limited to 'src/test/run_power.ml')
0 files changed, 0 insertions, 0 deletions