Add missing functions in the grammar2 API.
authorKim Nguyễn <kn@lri.fr>
Wed, 22 Feb 2012 10:15:50 +0000 (11:15 +0100)
committerKim Nguyễn <kn@lri.fr>
Wed, 22 Feb 2012 10:15:50 +0000 (11:15 +0100)
commit6bc104a1034ba2d526c44b853836e3b42dd0ab2c
tree6ded3211be1648aebf1bf19821739870559810e3
parent3878364d77115ce1ed2839cc631a9f73001bc438
Add missing functions in the grammar2 API.
src/grammar2.ml