* src/SDCCutil.c: fixed a bug in (get_pragma_token)