Test 49 does not work on Coq 8.4 due to lack of topname support in minimizer
Test 49 does not work on Coq 8.4 due to lack of topname support in minimizer

We could make it work, but we'd have to start piping through topname separately from the arguments to Coq.  We should probably do this anyway at some point.
JasonGross/coq-tools,JasonGross/coq-tools