876fec0252
* sim-engine.c (sim_engine_halt): If jmpbuf is invalid, abort. (sim_engine_vabort): Ditto.
* sim-engine.c (sim_engine_halt): If jmpbuf is invalid, abort. (sim_engine_vabort): Ditto.