diff options
Diffstat (limited to 'ocamltest/options.mli')
-rw-r--r-- | ocamltest/options.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/ocamltest/options.mli b/ocamltest/options.mli index 7b7c5943a4..4d98eec7cf 100644 --- a/ocamltest/options.mli +++ b/ocamltest/options.mli @@ -32,3 +32,7 @@ val list_tests : string list val keep_test_dir_on_success : bool val show_timings : bool + +val translate : bool +val style : Translate.style +val compact : bool |