diff options
Diffstat (limited to 'mips')
| -rw-r--r-- | mips/run_embed.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/mips/run_embed.ml b/mips/run_embed.ml index e967eb1c..f2c9e87a 100644 --- a/mips/run_embed.ml +++ b/mips/run_embed.ml @@ -118,11 +118,11 @@ let rec debug_print_caps capregs start stop = else () let handle_uart uart_written uart_wdata uart_rdata uart_rvalid = - try + (try let (pending, _, _) = Unix.select [Unix.stdin] [] [] 0.0 in if pending != [] then input_buf := (!input_buf) @ [(input_byte stdin)] - with _ -> (); + with _ -> ()); if (read_bit_reg uart_written) then begin |