Fix for issue #578; commented core.p4#586

Merged

ChrisDodd merged 3 commits intop4lang:masterfrom mihaibudiu:issue578

May 10, 2017

+36-12

Commits on May 9, 2017

Fix for issue p4lang#578 ; commented core.p4
mbudiu-vmw
committed
Fixed typos
mbudiu-vmw
committed

Commits on May 10, 2017

Merge branch 'master' into issue578
ChrisDodd
authored