B10005 fire traps under water

<Someone> reported that after pushing a boulder into a pool location which
contained a fire trap on the bottom, that the trap wasn't destroyed.  Added
missing delfloortrap call.

doc/fixes34.1

@@ -277,6 +277,7 @@ when summoning nasty monsters, use new monster's type to decide if they can
 don't display the "intones:" prefix when !soundok since the message suffix
 	won't be displayed in this case
 document "sound" option in Guidebook
+destroy traps that are buried by boulders dropped in water
 
 
 Platform- and/or Interface-Specific Fixes

src/do.c

@@ -72,13 +72,17 @@ boolean pushing;
 	    fills_up = lava ? chance == 0 : chance != 0;
 
 	    if (fills_up) {
+		struct trap *ttmp = t_at(rx, ry);
+
 		if (ltyp == DRAWBRIDGE_UP) {
 		    levl[rx][ry].drawbridgemask &= ~DB_UNDER; /* clear lava */
 		    levl[rx][ry].drawbridgemask |= DB_FLOOR;
 		} else
 		    levl[rx][ry].typ = ROOM;
 
+		if (ttmp) (void) delfloortrap(ttmp);
 		bury_objs(rx, ry);
+		
 		newsym(rx,ry);
 		if (pushing) {
 		    You("push %s into the %s.", the(xname(otmp)), what);