tree 5b94b5f35128556728cf418aa5b38244f0fb6a42
parent a55f42a7301bc1f00ecb2dfd66df98542b7f82a7
author Patrick Rohr <prohr@google.com> 1698087911 -0700
committer Patrick Rohr <prohr@google.com> 1698338333 -0700

Fix PrefixDelegation#isValid() to ignore prefix options

This has moved inside IaPrefixOption#isValid().

Test: mm
Change-Id: Ib055e02af09601a27db1056022d323e2b20710e5