diff options
| author | Matthieu Sozeau | 2015-01-17 20:42:40 +0530 |
|---|---|---|
| committer | Matthieu Sozeau | 2015-01-17 20:42:40 +0530 |
| commit | 9d8347abc07dec1edd804b2fa39db40088b5cf3d (patch) | |
| tree | 2528f7f19b7a8352cc693f214531f0132f989adf | |
| parent | 3bcca0aecb368a723d247d1f8b2348790bc87035 (diff) | |
Back to 4 expected universes.
| -rw-r--r-- | test-suite/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
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" |