docs/elements/trap.txt

   1 Digging this when the trap is open is fatal. Otherwise, it's just ordinary
   2 dirt. Snapping it when the trap is open will not kill the player, just fail.