diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-02-12 14:31:44 +0000 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-02-12 14:31:44 +0000 |
commit | 23c4e482cad3aff97391f32b51993b053d6aa4db (patch) | |
tree | 77c75a39c41ca1bcfca1850c894485bf79f2f8f6 /src/hls/PrintRTLBlockInstr.ml | |
parent | 8d5047ca436ba42e9253d24d6b5b2c0c62dd7437 (diff) | |
download | vericert-23c4e482cad3aff97391f32b51993b053d6aa4db.tar.gz vericert-23c4e482cad3aff97391f32b51993b053d6aa4db.zip |
Add temporary fixes to get everything to compile
Diffstat (limited to 'src/hls/PrintRTLBlockInstr.ml')
-rw-r--r-- | src/hls/PrintRTLBlockInstr.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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 | [] -> () |