Skip to content

Commit

Permalink
Change InfoWarning to InfoObsolete in SetUserPreference
Browse files Browse the repository at this point in the history
  • Loading branch information
markuspf committed Jan 27, 2016
1 parent fb880c5 commit b3034a0
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions lib/obsolete.gi
Original file line number Diff line number Diff line change
Expand Up @@ -904,8 +904,8 @@ end);
BindGlobal( "SetUserPreferences", function( arg )
local name, record;

Info( InfoWarning, 1, "");
Info( InfoWarning, 1, Concatenation( [
Info( InfoObsolete, 1, "");
Info( InfoObsolete, 1, Concatenation( [
"The call to 'SetUserPreferences' (probably in a 'gap.ini' file)\n",
"#I should be replaced by individual 'SetUserPreference' calls,\n",
"#I which are package specific.\n",
Expand Down

0 comments on commit b3034a0

Please sign in to comment.