[RFA] Remove warning from gaxk

[Tom Tromey]

>>>>> "Pierre" == Pierre Muller <pierre.muller@ics-cnrs.unistra.fr> writes:

Pierre> awk: cmd. line:135: warning: regexp component `[:digit:]' should probably be
Pierre> `[[:digit:]]'


Pierre> This is solved by the change below.

Pierre>   May I consider those changes as obvious?

Yes, I think so.

Tom