remove dolog definition to fix a warning
commit76e600be41c10ae96ec2bccb57b8b114851f1642
authorMark Oteiza <mvoteiza@udel.edu>
Sun, 17 Aug 2014 01:07:08 +0000 (16 21:07 -0400)
committermalc <av1474@comtv.ru>
Sun, 17 Aug 2014 01:52:01 +0000 (17 05:52 +0400)
tree70f6b2bf07edb07cf98d821e805dfadce2198226
parenta284fb7ee67c90cd5072043fcd07472d3afc8124
remove dolog definition to fix a warning
parser.ml