diff options
| author | aspiwack | 2013-11-04 18:08:48 +0000 |
|---|---|---|
| committer | aspiwack | 2013-11-04 18:08:48 +0000 |
| commit | 84b30df7b5ef9479a89de322bceee5619405d195 (patch) | |
| tree | d9a4a351e60041fb5a989379cc23e41ad0ca0142 /kernel/nativecode.mli | |
| parent | 5f4a61935e048a8e4490f5610e551d8844a373c4 (diff) | |
Fix Tacticals.New.tclREPEAT_MAiN: does not fail badly when every goal was solved.
This made "autorewrite using tac" fail.
Spotted in CoLoR and Demos.
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@17059 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'kernel/nativecode.mli')
0 files changed, 0 insertions, 0 deletions