diff options
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 9c541ce84d..c80ba16ec3 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 => |