From db6c97df4dde8b1ccb2e5b314a4747f66fd524c1 Mon Sep 17 00:00:00 2001
From: msozeau
Date: Mon, 13 Mar 2006 17:38:17 +0000
Subject: Update of Subtac contrib. Add {wf n R} as an alternative to {struct
 n}. May cause make world to fail because of dependency problems, make depend
 clean world should fix that (hopefully).

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

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 0d2c5abe31..6edd5ca47d 100644
--- a/Makefile
+++ b/Makefile
@@ -299,6 +299,9 @@ SUBTACCMO=\
 	contrib/subtac/subtac_errors.cmo \
 	contrib/subtac/subtac_coercion.cmo \
 	contrib/subtac/interp.cmo \
+	contrib/subtac/interp_fixpoint.cmo \
+	contrib/subtac/subtac_command.cmo \
+	contrib/subtac/subtac.cmo \
 	contrib/subtac/sparser.cmo
 
 
-- 
cgit v1.2.3