From f3e1ed674ebf3281e65f871d366dce38cf980539 Mon Sep 17 00:00:00 2001
From: msozeau
Date: Wed, 13 Feb 2008 18:28:56 +0000
Subject: Move class_setoid to class_tactics.

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

(limited to 'Makefile.common')

diff --git a/Makefile.common b/Makefile.common
index c0537f264e..8c87552eef 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -168,7 +168,7 @@ TOPLEVEL:=\
 
 HIGHTACTICS:=\
   tactics/refine.cmo tactics/extraargs.cmo \
-  tactics/extratactics.cmo tactics/eauto.cmo tactics/class_setoid.cmo
+  tactics/extratactics.cmo tactics/eauto.cmo tactics/class_tactics.cmo
 
 SPECTAC:= tactics/tauto.ml4 tactics/eqdecide.ml4
 USERTAC:= $(SPECTAC)
-- 
cgit v1.2.3