diff options
| author | Robert Norton | 2017-04-27 10:44:15 +0100 |
|---|---|---|
| committer | Robert Norton | 2017-04-27 10:44:15 +0100 |
| commit | d10f699d9ac974fa56192ab9b0ac37189dddda4b (patch) | |
| tree | 83e557aafd7d0742f995db94d3b5767bfc831eb0 | |
| parent | bbed94896ab872d7b3d1939c8ad21d1c7fe04665 (diff) | |
need brackets around try ... with expression.
| -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 |
