From c864e48d8c538bf58343d1e466c9d43ab97c31c9 Mon Sep 17 00:00:00 2001
From: Max Horn <max@quendi.de>
Date: Sun, 1 Feb 2026 00:12:20 +0100
Subject: [PATCH] Fix CoverageLineByLine

Let it produce output compatible with the `--coverage` command
line option.
---
 lib/newprofile.g | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/newprofile.g b/lib/newprofile.g
index 4639d329b4..f78b7da9e1 100644
--- a/lib/newprofile.g
+++ b/lib/newprofile.g
@@ -115,7 +115,7 @@ end);
 ##  <#/GAPDoc>
 
 BIND_GLOBAL("CoverageLineByLine", function(name)
-  return ProfileLineByLine(name, rec(coverage := true));
+  return ProfileLineByLine(name, rec(coverage := true, recordMem := true));
 end);
 
 #############################################################################