In the law, yes - funded, no. Congress passed the bill that permitted the wall back under Bush, then clawed back the funding.
Nuts, memory getting old.