Skip to content

Commit

Permalink
Update tmp prefix in io Lin/Lin_internal tests
Browse files Browse the repository at this point in the history
  • Loading branch information
jmid committed Nov 7, 2023
1 parent 6b8e4e9 commit 2148feb
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion src/io/lin_internal_tests.ml
Original file line number Diff line number Diff line change
Expand Up @@ -121,7 +121,7 @@ module Out_channel_ops = struct
let equal_res = (=)

let init () =
let p,ch = Filename.open_temp_file "lin-dsl-" "" in
let p,ch = Filename.open_temp_file "lin-internal-" "" in
path := p;
ch

Expand Down
2 changes: 1 addition & 1 deletion src/io/lin_tests_spec_io.ml
Original file line number Diff line number Diff line change
Expand Up @@ -69,7 +69,7 @@ module OCConf : Lin.Spec = struct
let path = ref ""

let init () =
let p,ch = Filename.open_temp_file "lin-dsl-" "" in
let p,ch = Filename.open_temp_file "lin-" "" in
path := p;
ch

Expand Down

0 comments on commit 2148feb

Please sign in to comment.