diff options
| author |  corbinea <corbinea@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-03-15 13:28:43 +0000 |
|---|---|---|
| committer | corbinea <corbinea@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2004-03-15 13:28:43 +0000 |
| commit | f1867d585ca054e038e26c3dc2eaf8350d918b5b (patch) | |
| tree | 0d7b27cfac3ea6eaa3f7355365eedd5ca2eab908 /contrib | |
| parent | 37ead048c84710830703b4944ae9b844eac4c884 (diff) | |
oops
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5485 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib')
| -rw-r--r-- | contrib/cc/CCSolve.v | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/cc/CCSolve.v b/contrib/cc/CCSolve.v index 9c541ce84..c80ba16ec 100644 --- a/contrib/cc/CCSolve.v +++ b/contrib/cc/CCSolve.v @@ -8,7 +8,7 @@ (* $Id$ *) -Ltac ccsolve := +Ltac CCsolve := repeat match goal with | H:?X1 |- ?X2 => |