From 4b6732fdddebc07f072e012a52f7d9541e4d657c Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 13 Jun 2018 21:26:35 +0100
Subject: Tracing instrumentation for C backend

---
 riscv/platform_impl.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'riscv')

diff --git a/riscv/platform_impl.ml b/riscv/platform_impl.ml
index 9b063404..0902877a 100644
--- a/riscv/platform_impl.ml
+++ b/riscv/platform_impl.ml
@@ -152,7 +152,7 @@ let rec term_read () =
   let buf = Bytes.make 1 '\000' in
   let nbytes = Unix.read Unix.stdin buf 0 1 in
   (* todo: handle nbytes == 0 *)
-  buf.[0]
+  Bytes.get buf 0
 
 (*
 let save_string_to_file s fname =
-- 
cgit v1.2.3