diff options
author | Yann Herklotz <git@yannherklotz.com> | 2021-09-29 17:11:34 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2021-09-29 17:11:34 +0100 |
commit | ab1e748f622f4345a3fc13ebbdbc8f223bd10e5c (patch) | |
tree | db3b7aaf01b76cd55e9d490dcbf40ebec84508f9 /src/hls/PrintRTLBlockInstr.ml | |
parent | 4101773e008b04c88cb5c78565afc6e08a9c4b5f (diff) | |
download | vericert-ab1e748f622f4345a3fc13ebbdbc8f223bd10e5c.tar.gz vericert-ab1e748f622f4345a3fc13ebbdbc8f223bd10e5c.zip |
Make all OCaml files compile
Reverted commit to get back the scheduling and pretty printing files.
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 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 | [] -> () |