[Steve Van Doorn]

said, "an actual ban on using his wall prototypes"

nothing like that in the bill that i can find. There is a limit on repair costs though. Actually the way I read it the money could come from military spending.
https://www.congress.gov/115/bills/hr1625/BILLS-115hr1625eah.pdf

[andmy_]

Nothing like that in the bill that i can find. There is a limit on repair costs though.

Actually the way I read it the money could come from military spending.
https://www.congress.gov/115/bills/hr1625/BILLS-115hr1625eah.pdf

Yes, the money for the wall could come from the military spending.