From f1867d585ca054e038e26c3dc2eaf8350d918b5b Mon Sep 17 00:00:00 2001
From: corbinea
Date: Mon, 15 Mar 2004 13:28:43 +0000
Subject: oops

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5485 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 contrib/cc/CCSolve.v | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'contrib/cc')

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 =>
-- 
cgit v1.2.3