Yes, there was a diving board there. Pool is 8' deep at the max. I actually bought a replacement diving board a while back. Nobody in town would sell me a board because the pool is not wide or deep enough, so I ended up getting it online.
My kids aren't daredevils, but my son had a big party...