make gaplint happy

gap-system · Dec 18, 2023 · c504d29 · c504d29
1 parent d79fe05
commit c504d29
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/streams.gi b/lib/streams.gi
@@ -1669,7 +1669,7 @@ InstallMethod( SetPrintFormattingStatus, "for non-text output stream",
     fi;
 
     CheckValidPrintFormattingStatus(stat);
-    if (( IsBool(stat) and stat = true ) or 
+    if (( IsBool(stat) and stat = true ) or
         ( IsRecord(stat) and (stat.linewrap or stat.indent) ) ) then
         Error("non-text streams do not support print formatting");
     fi;