Searched refs:lava_killer (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/nethack/src/nethack-3.4.3/src/
H A Dtrap.c3921 static const char lava_killer[] = "molten lava"; variable
3938 losehp(dmg, lava_killer, KILLED_BY);
3979 killer = lava_killer;
3995 losehp(1, lava_killer, KILLED_BY);
/seL4-refos-master/apps/nethack/src/nethack-3.4.3/src/
H A Dtrap.c3921 static const char lava_killer[] = "molten lava"; variable
3938 losehp(dmg, lava_killer, KILLED_BY);
3979 killer = lava_killer;
3995 losehp(1, lava_killer, KILLED_BY);

Completed in 34 milliseconds