The vast Mamilla Pool , near a small Muslim cemetery at the eastern end of the park , is thought to have been a reservoir that was part of the Old Citys ancient water system .
Mamilla pool is just for decoration and not swimming .