Full nudity isn't allowed at Barton Springs, so she must just have a small bathing suit on. There's a park on nearby Lake Travis called Hippy Hollow that is clothing optional, but it's not the same place.