From 23c4e482cad3aff97391f32b51993b053d6aa4db Mon Sep 17 00:00:00 2001
From: Yann Herklotz <git@yannherklotz.com>
Date: Fri, 12 Feb 2021 14:31:44 +0000
Subject: Add temporary fixes to get everything to compile

---
 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 979ca38..ba7241b 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" (P.to_int r)
+  fprintf pp "p%d" (Nat.to_int r)
 
 let rec regs pp = function
   | [] -> ()
-- 
cgit