I live in a 125-year-old house. The basement is unfinished (and will never be finished, at least not by me), but is heavily used for laundry, storage space, and working out.
Basement floor is poured concrete, but it probably started life as dirt. Not sure when the concrete would have been poured, but it's certainly not new. Near the front wall there is a hole in the floor. About 1 foot wide, 2 feet long, 1 foot deep. Bottom of the hole is dirt. Runs along the wall. (Basement walls/foundation are brick.) I assume there was once a coal-burning furnace (or some other part of a coal heating apparatus... maybe storage?) anchored there, but whatever it is is long-gone. It's just a hole. It does not collect water or anything wacky -- just bugs and dirt as far as I can tell. Right now, I have a piece of wood laid over the hole so no one (okay, mostly me) falls into it. But it's part of the area that I use for working out, and the space would be more useful if there wasn't a hole in the floor covered up by a board.
I'm thinking of filling the hole mostly with gravel, and then getting a single bag of some sort of cement to mix up and smooth over the top inch or so. Is this an okay idea? Or a terrible idea? Will this work? Will it cause problems I'm not thinking of? Is there something else I should do instead? If this is an okay idea, recommendations about actual materials? (I know zilch about cement or anything in that realm.)
I'm not at all concerned about it looking nice -- as noted, this is a 125-year-old unfinished basement. And if I'm successful, it'll eventually be covered by horse stall mats or some other type of workout flooring (I just have some carpet remnants down there right now). I literally just want to fill the hole so no one falls in it. Anyone have thoughts for me here?