An ifra red filter is certainly necessary for colour printing. On the other hand it depends on the coating of your enlarging lens as this may protect against IR light waves. So I think you'd better replace the smashed-up filter.

Good luck

Hans