From 72f320a93d61e186ca54de33bb2435e7e19171b7 Mon Sep 17 00:00:00 2001 From: Claudio Sacerdoti Coen Date: Wed, 22 Feb 2006 13:56:15 +0000 Subject: [PATCH 1/1] Order of compilation of the modules fixed. --- helm/software/components/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/helm/software/components/Makefile b/helm/software/components/Makefile index c16dc0e71..718c14b91 100644 --- a/helm/software/components/Makefile +++ b/helm/software/components/Makefile @@ -20,11 +20,11 @@ MODULES = \ cic \ cic_proof_checking \ cic_acic \ + metadata \ + library \ acic_content \ content_pres \ grafite \ - metadata \ - library \ cic_unification \ whelp \ tactics \ -- 2.39.2