Best thing to do is drain the tank and refill with clean fuel and new fuel filter, but as it seems like a fairly small amount of diesel in your tank, you could just keep diluting it and driving it through. Your car, your choice.

Tony