Update cartan.gi

JosephDayngerRuiz · JosephDayngerRuiz · commit 756dd765d77a · 2025-04-16T10:14:18.000-07:00
gap lint
diff --git a/gap/attributes/cartan.gi b/gap/attributes/cartan.gi
@@ -699,7 +699,7 @@ function(ct)
   return out;
 end);
 
-InstallMethod(PimMonoidCharacter,  
+InstallMethod(PimMonoidCharacter,
 "for a monoid character table, dense list, and monoid character",
 [IsMonoidCharacterTable, IsDenseList, IsMonoidCharacter],
 function(ct, values, char)
