Update lib/streams.gi

Co-authored-by: Max Horn <max@quendi.de>
gap-system · Oct 27, 2022 · 2223592 · 2223592
1 parent 42289b2
commit 2223592
Showing 1 changed file with 17 additions and 17 deletions.
diff --git a/lib/streams.gi b/lib/streams.gi
@@ -1677,24 +1677,24 @@ end);
 
 
 InstallGlobalFunction( "CheckValidPrintFormattingStatus",
- function(fs)
- local r;
- if IsBool(fs) then
- if fs = fail then
- Error("Formatting status cannot be 'fail'");
- fi;
- elif IsRecord(fs) then
- if Set(RecNames(fs)) <> ["indent", "linewrap"] then
- Error("Formatting status records must contain only 'indent' and 'linewrap'");
- fi;
- for r in ["indent","linewrap"] do
- if not fs.(r) in [false, true] then
- Error(Concatenation(r, " must be a Boolean in Formatting status"));
- fi;
- od;
- else
- Error("Formatting status must be a boolean or a record");
+function(fs)
+ local r;
+ if IsBool(fs) then
+ if fs = fail then
+ Error("Formatting status cannot be 'fail'");
+ fi;
+ elif IsRecord(fs) then
+ if Set(RecNames(fs)) <> ["indent", "linewrap"] then
+ Error("Formatting status records must contain only 'indent' and 'linewrap'");
  fi;
+ for r in ["indent","linewrap"] do
+ if not fs.(r) in [false, true] then
+ Error(Concatenation(r, " must be a Boolean in Formatting status"));
+ fi;
+ od;
+ else
+ Error("Formatting status must be a boolean or a record");
+ fi;
 end);
 
 #############################################################################