diff --git a/ptests/ptests.ml b/ptests/ptests.ml index c972269e5f35c11cf59db047acc84ba4ca8a3d30..b8ac6adfa6d8d664e3dc23938619a1bca3348e7a 100644 --- a/ptests/ptests.ml +++ b/ptests/ptests.ml @@ -284,8 +284,8 @@ let toplevel_path = ref "" (* value set to @frama-c-exe@ macro *) let default_suites = ref [] let () = - Unix.putenv "LC_ALL" "C" (* some oracles, especially in Jessie, depend on the - locale *) + Unix.putenv "LC_ALL" "C" (* for oracles that depend on the locale *) + let example_msg = Format.sprintf "@.@[<v 0>\