From ab1e748f622f4345a3fc13ebbdbc8f223bd10e5c Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Wed, 29 Sep 2021 17:11:34 +0100
Subject: Make all OCaml files compile

Reverted commit to get back the scheduling and pretty printing files.
---
 src/hls/PrintRTLBlockInstr.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/hls/PrintRTLBlockInstr.ml')

diff --git a/src/hls/PrintRTLBlockInstr.ml b/src/hls/PrintRTLBlockInstr.ml
index ba7241b..979ca38 100644
--- a/src/hls/PrintRTLBlockInstr.ml
+++ b/src/hls/PrintRTLBlockInstr.ml
@@ -10,7 +10,7 @@ let reg pp r =
   fprintf pp "x%d" (P.to_int r)
 
 let pred pp r =
-  fprintf pp "p%d" (Nat.to_int r)
+  fprintf pp "p%d" (P.to_int r)
 
 let rec regs pp = function
   | [] -> ()
-- 
cgit