diff options
| author | Michalis Pardalos <m.pardalos@gmail.com> | 2021-04-20 21:02:24 +0100 |
|---|---|---|
| committer | Michalis Pardalos <m.pardalos@gmail.com> | 2021-04-20 21:02:24 +0100 |
| commit | 7a05aa21b3a94842ceaf103a53209d87d7f095d5 (patch) | |
| tree | 31ab96aa633b0a972fb719ab3318e24654e464b2 /src/hls/PrintHTL.ml | |
| parent | 7183a0a0a037026a0d03e4df6153ca2d5879af49 (diff) | |
| download | vericert-7a05aa21b3a94842ceaf103a53209d87d7f095d5.tar.gz vericert-7a05aa21b3a94842ceaf103a53209d87d7f095d5.zip | |
Move renumbering to be HTL->HTL
Diffstat (limited to 'src/hls/PrintHTL.ml')
| -rw-r--r-- | src/hls/PrintHTL.ml | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/hls/PrintHTL.ml b/src/hls/PrintHTL.ml index 78e422a..65fe1f3 100644 --- a/src/hls/PrintHTL.ml +++ b/src/hls/PrintHTL.ml @@ -70,10 +70,10 @@ let print_program pp prog = let destination : string option ref = ref None -let print_if prog = +let print_if passno prog = match !destination with | None -> () | Some f -> - let oc = open_out f in - print_program oc prog; - close_out oc + let oc = open_out (f ^ "." ^ Z.to_string passno) in + print_program oc prog; + close_out oc |