[Congressional Bills 114th Congress]
[From the U.S. Government Publishing Office]
[H.R. 5873 Enrolled Bill (ENR)]

        H.R.5873

                     One Hundred Fourteenth Congress

                                 of the

                        United States of America


                          AT THE SECOND SESSION

           Begun and held at the City of Washington on Monday,
           the fourth day of January, two thousand and sixteen


                                 An Act


 
 To designate the Federal building and United States courthouse located 
at 511 East San Antonio Avenue in El Paso, Texas, as the ``R.E. Thomason 
            Federal Building and United States Courthouse''.

    Be it enacted by the Senate and House of Representatives of the 
United States of America in Congress assembled,
SECTION 1. DESIGNATION.
    The Federal building and United States courthouse located at 511 
East San Antonio Avenue in El Paso, Texas, shall be known and 
designated as the ``R.E. Thomason Federal Building and United States 
Courthouse''.
SEC. 2. REFERENCES.
    Any reference in a law, map, regulation, document, paper, or other 
record of the United States to the Federal building and United States 
courthouse referred to in section 1 shall be deemed to be a reference 
to the ``R.E. Thomason Federal Building and United States Courthouse''.

                               Speaker of the House of Representatives.

                            Vice President of the United States and    
                                               President of the Senate.