From 6483605e9bea9dfb823934f4f8c8e89bd7977d4c Mon Sep 17 00:00:00 2001
From: whitequark <whitequark@whitequark.org>
Date: Sat, 16 Jun 2018 12:31:22 +0000
Subject: Remove Canary.

This eliminates 3 uses of Obj from TCB.
---
 checker/check.mllib | 1 -
 1 file changed, 1 deletion(-)

(limited to 'checker/check.mllib')

diff --git a/checker/check.mllib b/checker/check.mllib
index f79ba66e3..139fa765b 100644
--- a/checker/check.mllib
+++ b/checker/check.mllib
@@ -3,7 +3,6 @@ Coq_config
 Analyze
 Hook
 Terminal
-Canary
 Hashset
 Hashcons
 CSet
-- 
cgit v1.2.3