Undocument unused second argument for DeclareGlobalFunction

gap-system · Jul 27, 2019 · 89e7fe2 · 89e7fe2
1 parent d0933a5
commit 89e7fe2
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/lib/oper.g b/lib/oper.g
@@ -1794,12 +1794,12 @@ end );
 
 #############################################################################
 ##
-#F  DeclareGlobalFunction( <name>, <info> ) . .  create a new global function
+#F  DeclareGlobalFunction( <name> ) . . . . . .  create a new global function
 #F  InstallGlobalFunction( <oper>, <func> )
 ##
 ##  <#GAPDoc Label="DeclareGlobalFunction">
 ##  <ManSection>
-##  <Func Name="DeclareGlobalFunction" Arg='name, info'/>
+##  <Func Name="DeclareGlobalFunction" Arg='name'/>
 ##  <Func Name="InstallGlobalFunction" Arg='oper, func'/>
 ##
 ##  <Description>