Hotfix for master: fix DeclareObsoleteSynonym call

gap-system · Jul 12, 2017 · b7afc33 · b7afc33
1 parent e0a6437
commit b7afc33
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lib/obsolete.gd b/lib/obsolete.gd
@@ -560,7 +560,7 @@ DeclareObsoleteSynonym( "USER_HOME_EXPAND", "UserHomeExpand" );
 ##  This name stems from GAP 3 days.
 ##
 ## still used by Browse, ctbllib, gapdoc, genss, io, orb (05/2017)
-DeclareObsoleteSynonym( "RecFields", "RecNames", "4.0" );
+DeclareObsoleteSynonym( "RecFields", "RecNames" );
 
 #############################################################################
 ##