Add more logging statements.
authorKim Nguyễn <kn@lri.fr>
Wed, 2 May 2012 12:31:57 +0000 (14:31 +0200)
committerKim Nguyễn <kn@lri.fr>
Wed, 2 May 2012 12:31:57 +0000 (14:31 +0200)
commit431946f30b0733498ffa731cfa97692b2c942208
tree8bf01cfe600ec96c3367b9edb756e324a7f0d7c7
parentff7893db153ecd86099fab1c71be475dcc8272bf
Add more logging statements.
src/ata.ml