Skip to content

Commit

Permalink
Small indentation fix
Browse files Browse the repository at this point in the history
  • Loading branch information
jmid committed Jan 12, 2024
1 parent 6238e40 commit 0c8fdcb
Showing 1 changed file with 3 additions and 3 deletions.
6 changes: 3 additions & 3 deletions src/io/stm_tests.ml
Original file line number Diff line number Diff line change
Expand Up @@ -349,6 +349,6 @@ module OCSTM_seq = STM_sequential.Make(OCConf)
module OCSTM_dom = STM_domain.Make(OCConf)
;;
QCheck_base_runner.run_tests_main [
OCSTM_seq.agree_test ~count:1000 ~name:"STM Out_channel test sequential";
OCSTM_dom.agree_test_par ~count:1000 ~name:"STM Out_channel test parallel";
]
OCSTM_seq.agree_test ~count:1000 ~name:"STM Out_channel test sequential";
OCSTM_dom.agree_test_par ~count:1000 ~name:"STM Out_channel test parallel";
]

0 comments on commit 0c8fdcb

Please sign in to comment.