diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2012-06-02 10:54:49 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2012-06-02 10:54:49 -0400 |
| commit | b0d857842e340ff23af2fc398617c9d3cf3a3dcb (patch) | |
| tree | 3bcfe01a624da73f52ff82ceb31de49d776b4092 /src/coq | |
| parent | 0e734b059ac66597140d41893324cbd0688f7349 (diff) | |
Avoid redundant rollbacks
Diffstat (limited to 'src/coq')
0 files changed, 0 insertions, 0 deletions