diff --git a/lib/oper.g b/lib/oper.g index ebd7742fe3..f208f33b8f 100644 --- a/lib/oper.g +++ b/lib/oper.g @@ -1794,12 +1794,12 @@ end ); ############################################################################# ## -#F DeclareGlobalFunction( , ) . . create a new global function +#F DeclareGlobalFunction( ) . . . . . . create a new global function #F InstallGlobalFunction( , ) ## ## <#GAPDoc Label="DeclareGlobalFunction"> ## -## +## ## ## ##