From bb57c843b043ba169cee2951ef60d0fe73af2e3f Mon Sep 17 00:00:00 2001
From: letouzey
Date: Thu, 8 May 2008 23:44:35 +0000
Subject: Still Ints-->Numbers transition: fix a typo preventing the
 compilation of BigQ

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

diff --git a/Makefile.common b/Makefile.common
index a01110cd18..ac3cfc5fb1 100644
--- a/Makefile.common
+++ b/Makefile.common
@@ -667,7 +667,7 @@ INTEGERBIGZVO:=$(addprefix theories/Numbers/Integer/BigZ/, \
 INTEGERVO:=$(INTEGERABSTRACTVO) $(INTEGERBINARYVO) $(INTEGERNATPAIRSVO) \
  $(INTEGERTREEMODVO) $(INTEGERBIGZVO)
 
-RATIONALBIGQVO:=$(addprefix theories/Numbers/Rational/BigQ/, \
+RATIONALBIGVO:=$(addprefix theories/Numbers/Rational/BigQ/, \
  QMake_base.vo	QpMake.vo	QvMake.vo	Q0Make.vo 	\
  QifMake.vo 	QbiMake.vo 	BigQ.vo )
 
-- 
cgit v1.2.3