From 5c97e465d1011c02f7746b3ac3acbb7354e839b0 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Tue, 22 Jun 2010 20:31:08 +0000
Subject: Backport from trunk to 8.3 of modifications on groebner/nsatz
 (13056-13058, 13062, 13069, 13073).

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

diff --git a/Makefile.common b/Makefile.common
index 4791faf586..3f8c2a0518 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -73,7 +73,7 @@ SRCDIRS:=\
     omega	romega 		micromega 	quote		ring	dp \
     setoid_ring xml 		extraction 	fourier \
     cc 		funind 		firstorder 	field 		subtac \
-    rtauto 	nsatz        syntax      decl_mode)
+    rtauto 	nsatz           syntax          decl_mode)
 
 # Order is relevent here because kernel and checker contain files
 # with the same name
-- 
cgit v1.2.3