diff options
| author | Xavier Clerc <xclerc@janestreet.com> | 2017-09-13 14:16:35 +0100 |
|---|---|---|
| committer | Xavier Clerc <xclerc@janestreet.com> | 2017-09-13 14:16:35 +0100 |
| commit | f97d901d12a815df70c0843352698fd691bddc20 (patch) | |
| tree | cac0641763fd9db2e4e2b497b696ea7fa0f51e0a /testsuite/tests/misc/ephetest2.ml | |
| parent | b492e91780876b0ae8ee5e953d6404e0bbdd849d (diff) | |
| download | ocaml-f97d901d12a815df70c0843352698fd691bddc20.tar.gz | |
Replace `%b` specifiers (deprecated) with `%B` ones in the test suite.
Diffstat (limited to 'testsuite/tests/misc/ephetest2.ml')
| -rw-r--r-- | testsuite/tests/misc/ephetest2.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testsuite/tests/misc/ephetest2.ml b/testsuite/tests/misc/ephetest2.ml index 61861df996..d8a8a41b46 100644 --- a/testsuite/tests/misc/ephetest2.ml +++ b/testsuite/tests/misc/ephetest2.ml @@ -41,7 +41,7 @@ let print_short_bool fmt b = let rec pp_form fmt = function | Constant b -> - fprintf fmt "%b" b + fprintf fmt "%B" b | And a -> fprintf fmt "And[@[%a@]]" (fun fmt -> Array.iter (pp_var fmt)) a | Or a -> |