Various fixes for bottom-up run.
authorKim Nguyễn <kn@lri.fr>
Wed, 2 May 2012 12:34:18 +0000 (14:34 +0200)
committerKim Nguyễn <kn@lri.fr>
Wed, 2 May 2012 12:34:18 +0000 (14:34 +0200)
commit3889dd5519dcecdc0e88c4ee5be8d90cabdaf75f
treea9cef7db6e36c9dc59f605d76a1acc2b8f30fac2
parente4e34e687798285e65df74561915f7721b066631
Various fixes for bottom-up run.
src/runtime.ml