The two states agreed to a land swap to ensure that a Dallas-area water district’s pump station lies wholly within Texas. Neither state gained in size from the small change.