From 75b2e9859d569d2868299c8c07d0262c88cdcc85 Mon Sep 17 00:00:00 2001
From: Hugo Herbelin <Hugo.Herbelin@inria.fr>
Date: Wed, 1 Oct 2014 15:17:31 +0200
Subject: Updating to the new use of 3 universes, after Hurkens is simplified.

---
 test-suite/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/test-suite/Makefile b/test-suite/Makefile
index 5188fe6c5..8bb9210b6 100644
--- a/test-suite/Makefile
+++ b/test-suite/Makefile
@@ -376,7 +376,7 @@ misc/deps-order.log:
 	} > "$@"
 
 # Sort universes for the whole standard library
-EXPECTED_UNIVERSES := 4
+EXPECTED_UNIVERSES := 3
 universes: misc/universes.log
 misc/universes.log: misc/universes/all_stdlib.v
 	@echo "TEST      misc/universes"
-- 
cgit v1.2.3