Add a new tracer level for debugging grammar run.
authorKim Nguyễn <kn@lri.fr>
Thu, 16 Feb 2012 01:46:37 +0000 (02:46 +0100)
committerKim Nguyễn <kn@lri.fr>
Thu, 16 Feb 2012 01:46:37 +0000 (02:46 +0100)
commit57835657dbee238543eb33fb661c9d797e9111c4
tree7e63cada2b583a268a760ea3cbd8b24f5a7b20e7
parenta4b9c7188c2169eddaeabe66a5706a4ec1b6872d
Add a new tracer level for debugging grammar run.
src/tracer.ml