Update parsing of tree.
authorKim Nguyễn <kn@lri.fr>
Thu, 1 Mar 2012 13:29:53 +0000 (14:29 +0100)
committerKim Nguyễn <kn@lri.fr>
Thu, 1 Mar 2012 13:29:53 +0000 (14:29 +0100)
commit74aa5cc3aa21c5719a75358303e2daad12f8502c
tree99e4879db9450ee8473fe38e72897f004fbb9baf
parentd9c57ef2b714c19e98e78243c459c382225ab7e6
Update parsing of tree.
src/tree.ml