Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request p4lang#1358 from kfcripps/1292
[p4lang#1292] Explicitly state that table entries declared with 'const entries' cannot be assigned numeric priorities
- Loading branch information