From 9d8347abc07dec1edd804b2fa39db40088b5cf3d Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Sat, 17 Jan 2015 20:42:40 +0530
Subject: Back to 4 expected universes.

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

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