Fix bug in commandline parsing.
authorKim Nguyễn <kn@lri.fr>
Tue, 29 May 2012 05:59:34 +0000 (07:59 +0200)
committerKim Nguyễn <kn@lri.fr>
Tue, 29 May 2012 05:59:34 +0000 (07:59 +0200)
commitee6e511d28e2b47d2764cf2cf98869c93d94df2a
treedb342c09e56e4af772de88babb7d88dc64482cd5
parenta2080d362a3efaa221c72fd1deae48e966c49c98
Fix bug in commandline parsing.
utils/alarm.ml