Add wrappers for sadakane's data structure.
authorKim Nguyễn <kn@lri.fr>
Wed, 22 Feb 2012 09:12:24 +0000 (10:12 +0100)
committerKim Nguyễn <kn@lri.fr>
Wed, 22 Feb 2012 09:12:24 +0000 (10:12 +0100)
commitbe15ae2e9a7f0a1d7dade338529c2f9f207990bb
tree558345d7fdcd449856fb8589ca0042d60d168a43
parent3dc9065cb7e4b38bf25e6fb50017efa5b11de4ff
Add wrappers for sadakane's data structure.
src/OCamlDriver.cpp