diff options
| author | aspiwack | 2012-04-18 14:47:39 +0000 |
|---|---|---|
| committer | aspiwack | 2012-04-18 14:47:39 +0000 |
| commit | e984ac1984bb1e2d102b6c3c93ddcbdd5f689b23 (patch) | |
| tree | c67f7bb53b4969d7adaa8efbc9cb1eb61f140896 /plugins/syntax/string_syntax_plugin.mllib | |
| parent | b98e5c6662e4e6ef3b9ba8da6da9cb1fda63e2a8 (diff) | |
Corrects a bug in the refine tactic which could drop evar bodies.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15205 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/syntax/string_syntax_plugin.mllib')
0 files changed, 0 insertions, 0 deletions