Skip to content

Commit

Permalink
Clean-up old comments
Browse files Browse the repository at this point in the history
  • Loading branch information
jmid committed Jan 11, 2024
1 parent 9bd3253 commit 9c63209
Showing 1 changed file with 0 additions and 3 deletions.
3 changes: 0 additions & 3 deletions src/io/stm_tests.ml
Original file line number Diff line number Diff line change
Expand Up @@ -186,15 +186,12 @@ struct

let init_sut () =
let path = Filename.temp_file "stm-" "" in
(*Printf.printf "init_sut %s\n%!" path;*)
let channel = Stdlib.stdout in
(*let path, channel = Filename.open_temp_file "stm-" "" in*)
{ path; channel }

let cleanup { path; channel } =
if channel <> Stdlib.stdout
then Out_channel.close channel;
(*Printf.printf "Removing %s\n%!" path;*)
Sys.remove path

let precond c s = match c,s with
Expand Down

0 comments on commit 9c63209

Please sign in to comment.