From f8f2e9b68b8b97d0ae85b93bbb395f637cce105b Mon Sep 17 00:00:00 2001
From: fbesson
Date: Mon, 9 May 2011 08:11:47 +0000
Subject: remove useless dependancy for csdpcert

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

diff --git a/Makefile.common b/Makefile.common
index d0546a81e5..18f7e8b04e 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -243,7 +243,7 @@ COQCCMO:=$(COQENVCMO) toplevel/usage.cmo scripts/coqc.cmo
 ## Misc
 
 CSDPCERTCMO:=$(addprefix plugins/micromega/, \
-  mutils.cmo 	micromega.cmo 	mfourier.cmo 	certificate.cmo \
+  mutils.cmo 	micromega.cmo \
   sos_types.cmo sos_lib.cmo sos.cmo 	csdpcert.cmo )
 
 DEBUGPRINTERS:=dev/top_printers.cmo dev/vm_printers.cmo dev/printers.cma
-- 
cgit v1.2.3