How can I repair a pinhole leak in a washing machine drain hose?

I've just reconnected my washing machine and tested it, and there's a tiny hole in the out-flow pipe. The hole is in red circle in the images below … in the fairly-rigid, ribbed plastic, rather than the rubber section with the black ziptie.

I'd guess the hole is the size of a large needle hole? Big enough to get a jet of water squirting out of it, but not so big that the pipe is obviously ruined.

Is there any particularly reliable way for me to mend this DIY? (I need to get it mended quickly, and don't really have the time to schedule a day that a plumber can come, and I can miss work 🙁 )

• My first guess is to pour a little superglue over the hole?
• Another option might be sugru?
• Is there some way that I can trim back the pipe past the hole and then reconnect it?

It's not the pipe connected to the washing machine itself, I don't know where the pipe goes, but it's definitely not going to be easily accessible, wherever it is 🙁