Update lib/streams.gi

Co-authored-by: Max Horn <max@quendi.de>
gap-system · Dec 18, 2023 · d3daae3 · d3daae3
1 parent c504d29
commit d3daae3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/streams.gi b/lib/streams.gi
@@ -1685,7 +1685,7 @@ function(fs)
         fi;
     elif IsRecord(fs) then
         if Set(RecNames(fs)) <> ["indent", "linewrap"] then
-            Error("Formatting status records must contain only 'indent' and 'linewrap'");
+            Error("Formatting status records must contain exactly two components named 'indent' and 'linewrap'");
         fi;
         for r in ["indent","linewrap"] do
             if not fs.(r) in [false, true] then