Fix a nasty bug where the wrong pointer was passed to the C side.
authorKim Nguyễn <kn@lri.fr>
Fri, 12 Oct 2012 20:46:38 +0000 (22:46 +0200)
committerKim Nguyễn <kn@lri.fr>
Fri, 12 Oct 2012 20:46:38 +0000 (22:46 +0200)
commit43501e355e50f60c34999cefe9d44e3678dfb056
tree00e9c349f8a9200da1a9d162f310fbeef639e1ba
parentb29432ae3b0802c9ea002da6b2ef43cc9998c90c
Fix a nasty bug where the wrong pointer was passed to the C side.
src/common_stub.hpp
src/lexindex_stub.cpp
src/lextest.ml
src/tree.ml
src/tree.mli