Update restart.c