I hope they had a good reason for it. From my understanding in a lot of cases it's not a good idea to tank basements internally since brick needs to breath and let moisture escape, otherwise it can sit in the bricks and damage them rather than evaporating.