01860b7ed1
* core.h: Rename to corefile.h * inline.c: Include corefile.h, renamed from core.h. * cpu.h: Include corefile.h, renamed from core.h * vm.c: Include corefile.h, renamed from core.h * Makefile.in (CPU_H): Change core.h to corefile.h (vm.o): Change dependency to corefile.h (LIB_SRC): Change core.c to corefile.c. (LIB_OBJ): Change core.o to corefile.o. (corefile.o): Change dependencies to corefile.c, corefile.h. * corefile.c: Include corefile.h rather than core.h * README.psim (KNOWN PROBLEMS): Change core.* references to corefile.* references.