On Mar 14, 4:25�pm, wrote:
I need to repair *( fill ) *a hole in my basement wall. * It is about
6 inches in diameter and is the result of having to replace the water
line coming into the house. *What is the best material to use and the
procedure? *All I can find on a Google search is repairing cracks.
This is much too large for those procedures.

Don

remove all lose material, mix cement on dry side, spray water lightly
in cavity, for good adhesion then. pack with cement.

If the cavity is large do it a little at a time........

Concrete has gravel, if that will be too rough regular patching
compound is fine.

I