From c1cd47d5dff18f12af063d2c8defbd985c97dec6 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau
Date: Thu, 14 Nov 2013 11:50:04 +0100
Subject: - Fix comparison of universes. - Shortcut for Set <= x checks,
 assuming that this is always true except when x (or rather its canonical
 representative) is Prop. Invariant to check. - Uncomment the profiling code
 and make it depend on a (statically known) boolean.

---
 checker/check.mllib | 1 +
 1 file changed, 1 insertion(+)

(limited to 'checker')

diff --git a/checker/check.mllib b/checker/check.mllib
index 12cfe4a48d..7488a2c578 100644
--- a/checker/check.mllib
+++ b/checker/check.mllib
@@ -30,6 +30,7 @@ Ephemeron
 Future
 CUnix
 System
+Profile
 RemoteCounter
 Envars
 Predicate
-- 
cgit v1.2.3