summaryrefslogtreecommitdiff
path: root/test/aux-fixed/0023.acl2
blob: 044eada22134d964b99f5e5a39e88099bb3d1d42 (plain)
1
2
accept  domains = b
        local_parts = a