Update user.c

formatting only