log tests/baddep.urp

age author description
2012-05-02 Adam Chlipala Don't modify the module cache after elaboration failures