diff options
| author | Robert Norton | 2017-04-11 14:08:40 +0100 |
|---|---|---|
| committer | Shaked Flur | 2017-04-18 13:58:33 +0100 |
| commit | fea4672ef7e6b1a6ac1c7dfb2c42dccd4e5386d2 (patch) | |
| tree | 7e19444ef3280a0b7a4bfafb028ea65babca2e84 /mips | |
| parent | 4d04c1be4f20c7335e4ece28c82018d891cc0233 (diff) | |
remove debug print.
Diffstat (limited to 'mips')
| -rw-r--r-- | mips/run_embed.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/mips/run_embed.ml b/mips/run_embed.ml index 6a51063e..62f5bb09 100644 --- a/mips/run_embed.ml +++ b/mips/run_embed.ml @@ -452,7 +452,6 @@ let run () = if String.length(!raw_file) != 0 then load_raw_file mips_mem (big_int_of_string !raw_at) (open_in_bin !raw_file); set_register_field_bit Mips_model._CP0Status "BEV" Vone; - printf "CP0Status: %s\n" (string_of_value Mips_model._CP0Status); let start_addr = (to_vec_dec_big (big_int_of_int 64, hex_to_big_int "0x9000000040000000")) in set_register Mips_model._PC start_addr; let name = Filename.basename !raw_file in |