From 5bc2b89d4a41bbb19b6ce422f5ae86b82bf2d1bb Mon Sep 17 00:00:00 2001
From: bertot
Date: Tue, 18 Dec 2001 14:04:43 +0000
Subject: Add a new file in the files needed for the "coq-interface" binary:
 the file contrib/interface/blast.cmo

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

diff --git a/Makefile b/Makefile
index e563d1fe1a..b9b99fceb4 100644
--- a/Makefile
+++ b/Makefile
@@ -147,7 +147,7 @@ INTERFACE=contrib/interface/vtp.cmo \
 	contrib/interface/history.cmo \
 	contrib/interface/name_to_ast.cmo contrib/interface/debug_tac.cmo \
 	contrib/interface/showproof_ct.cmo contrib/interface/showproof.cmo \
-	contrib/interface/centaur.cmo
+	contrib/interface/blast.cmo contrib/interface/centaur.cmo
 
 PARSERREQUIRES=config/coq_config.cmo lib/pp_control.cmo lib/pp.cmo \
 	lib/util.cmo lib/dyn.cmo lib/gmap.cmo lib/gmapl.cmo \
-- 
cgit v1.2.3