From 37556ab070abcbf87a1a822c95aeccf19dade687 Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Wed, 22 Jan 2025 13:43:50 +0100 Subject: Force the locale before printing a result --- lib/configuration/dune | 1 - 1 file changed, 1 deletion(-) (limited to 'lib/configuration/dune') diff --git a/lib/configuration/dune b/lib/configuration/dune index 74ace87..6a0bc61 100755 --- a/lib/configuration/dune +++ b/lib/configuration/dune @@ -16,7 +16,6 @@ ppx_deriving.show ppx_deriving.eq )) - (foreign_stubs (language c) (names locale)) ) (rule -- cgit v1.2.3