diff options
author | Nicolás Ojeda Bär <n.oje.bar@gmail.com> | 2020-05-24 13:11:51 +0200 |
---|---|---|
committer | Gabriel Scherer <gabriel.scherer@gmail.com> | 2020-05-27 19:19:22 +0200 |
commit | 105ac40bd6d815ea3da4a374a480f4af9dc22566 (patch) | |
tree | 04bd51198b5d81ab860237a44b83c546716f91fe /ocamltest/options.mli | |
parent | 13e96a1bcfe47fc09a969bf7545921193deb84ac (diff) | |
download | ocaml-105ac40bd6d815ea3da4a374a480f4af9dc22566.tar.gz |
Hide references in Options implementation
Diffstat (limited to 'ocamltest/options.mli')
-rw-r--r-- | ocamltest/options.mli | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/ocamltest/options.mli b/ocamltest/options.mli index 2047f60ae7..36e09cf339 100644 --- a/ocamltest/options.mli +++ b/ocamltest/options.mli @@ -15,16 +15,16 @@ (* Description of ocamltest's command-line options *) -val log_to_stderr : bool ref +val log_to_stderr : bool -val files_to_test : string list ref +val files_to_test : string list -val promote : bool ref +val promote : bool val usage : string -val find_test_dirs : string list ref +val find_test_dirs : string list -val list_tests : string list ref +val list_tests : string list -val keep_test_dir_on_success : bool ref +val keep_test_dir_on_success : bool |