Merge pull request #14 from silene/coq-parser
authorAbhay Mujumdar <amujumdar@blackducksoftware.com>
Wed, 12 Dec 2012 22:41:58 +0000 (14:41 -0800)
committerAbhay Mujumdar <amujumdar@blackducksoftware.com>
Wed, 12 Dec 2012 22:41:58 +0000 (14:41 -0800)
commitb9666860e3b6a6b666da01d607eb4be0de6103bb
tree3062a6e78f3c1851df0357f3dc2d210288e3d7cc
parentc909616c938308e431456cd273efed8eb1244e0c
parentbfc0e493e8b246520fcadced5bfaee6fdb1aa9c9
Merge pull request #14 from silene/coq-parser

Add support for Coq .v files (based on the OCaml parser).
test/unit/detector_test.h