Update REPL.c

rm unnecessary string.h