Fix typo in debugging message.
authorKim Nguyễn <kn@lri.fr>
Tue, 29 May 2012 05:53:07 +0000 (07:53 +0200)
committerKim Nguyễn <kn@lri.fr>
Tue, 29 May 2012 05:53:07 +0000 (07:53 +0200)
commit1802223f08509622b24fbba93faeadbe60734f9c
treee4603443a3f76e5ea8b800a270ce645708b58684
parentefbad47ef803e878d25dbbc4e8c9e844b6a2eea0
Fix typo in debugging message.
src/ata.ml