diff options
| author | msozeau | 2009-06-22 18:28:18 +0000 |
|---|---|---|
| committer | msozeau | 2009-06-22 18:28:18 +0000 |
| commit | 604a07a7d425aa4b89bcd391c083d8600c71c5b5 (patch) | |
| tree | fb6a3b161207b062eda89a58fbd54519b89c2427 /plugins/interface | |
| parent | b0a8a08682c8f9c8f3457adef403c48f8fc011ac (diff) | |
Fixes for r12197, the refined evars were not returned in case fail_evar
was true.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@12206 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'plugins/interface')
0 files changed, 0 insertions, 0 deletions