From a99ec8642b1247bb44d0521cbe0973bae69f0d30 Mon Sep 17 00:00:00 2001 From: jnc Date: Thu, 12 Feb 2026 10:06:44 +0000 Subject: [PATCH] Fix spurious line breaks in pretty-printing of qualified module paths Remove the `@,` (break hint) from the format string in `pp_msymbol` when printing multi-component module paths. The break hint allowed the formatter to insert line breaks between namespace components, causing output like `G.\nRO.get(x)` or `module Alias = G.\nRO.` instead of the correct `G.RO.get(x)` and `module Alias = G.RO.` Fixes #696. --- src/ecPrinting.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/ecPrinting.ml b/src/ecPrinting.ml index 5d805325a5..2e9380a5e0 100644 --- a/src/ecPrinting.ml +++ b/src/ecPrinting.ml @@ -510,7 +510,7 @@ let rec pp_msymbol (fmt : Format.formatter) (mx : msymbol) = Format.fprintf fmt "@[%s(@,%a)@]" x (pp_list ",@ " pp_msymbol) args | mx1 :: mx -> - Format.fprintf fmt "%a.@,%a" pp_msymbol [mx1] pp_msymbol mx + Format.fprintf fmt "%a.%a" pp_msymbol [mx1] pp_msymbol mx (* -------------------------------------------------------------------- *) let pp_topmod ppe fmt p =