diff options
Diffstat (limited to 'src/hls/PrintHTL.ml')
-rw-r--r-- | src/hls/PrintHTL.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/hls/PrintHTL.ml b/src/hls/PrintHTL.ml index 3bce337..79221cf 100644 --- a/src/hls/PrintHTL.ml +++ b/src/hls/PrintHTL.ml @@ -140,6 +140,6 @@ let print_if passno prog = match !destination with | None -> () | Some f -> - let oc = open_out (f ^ "." ^ Z.to_string passno) 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 |