From 52965bdc2875ea35f5433e22307a1e951d054417 Mon Sep 17 00:00:00 2001
From: Prashanth Mundkur
Date: Tue, 22 May 2018 10:05:44 -0700
Subject: Fix incorrect channel in dtc i/o.

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

diff --git a/riscv/platform_impl.ml b/riscv/platform_impl.ml
index a1a1f699..1d2037a6 100644
--- a/riscv/platform_impl.ml
+++ b/riscv/platform_impl.ml
@@ -124,7 +124,7 @@ let make_dtb dts = (* Call the dtc compiler, assumed to be at /usr/bin/dtc *)
       (* simple and stupid for now *)
       let rec accum_bytes cin acc =
         match (
-          try  Some (input_byte cfrom)
+          try  Some (input_byte cin)
           with End_of_file -> None
         ) with
           | Some b -> accum_bytes cin (b :: acc)
-- 
cgit v1.2.3