Various fixes to the old grammar interface
authorKim Nguyễn <kn@lri.fr>
Wed, 22 Feb 2012 09:14:21 +0000 (10:14 +0100)
committerKim Nguyễn <kn@lri.fr>
Wed, 22 Feb 2012 09:14:21 +0000 (10:14 +0100)
commita31b1c91de4e8a984e85c6ca1bc917f26fd334f3
tree93223139311128c1472ec383721b325835eeae09
parentb8995e8af34dcada69bdfe16ca2c924a701a2e93
Various fixes to the old grammar interface
src/grammar.ml
src/grammar.mli