From 020fd6b5bb7ea5b6a9e4e054b74738f283a778ef Mon Sep 17 00:00:00 2001
From: Patrick Baudin <patrick.baudin@cea.fr>
Date: Mon, 31 May 2021 10:51:03 +0200
Subject: [PATCH] removes a reference to Jessie inside a comment
---
ptests/ptests.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/ptests/ptests.ml b/ptests/ptests.ml
index c972269e5f3..b8ac6adfa6d 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>\
--
GitLab