Minor code factoring.
authorKim Nguyễn <kn@lri.fr>
Fri, 20 Apr 2012 14:05:44 +0000 (16:05 +0200)
committerKim Nguyễn <kn@lri.fr>
Fri, 20 Apr 2012 14:05:44 +0000 (16:05 +0200)
commit4309f9456521bffcab5ff79abe1ed826744c3a57
tree25dc4031acae4bb61f8c2ffa4d0a76a71fcd44c2
parent48ae36d48bba10ab1bcb8ddcb798b936095a2804
Minor code factoring.
Call Ata.init() before a global top-down run to clear global cache.
src/runtime.ml