From 4177c2380fcd92bca07c97993c21ffd230408eca Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Wed, 5 Mar 2014 20:32:10 +0100
Subject: Adding a canary library. This canary is imperfect. It allows
 serialization (hopefully), and forbids generic equality. Still, it allows
 generic hash.

---
 dev/printers.mllib | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dev')

diff --git a/dev/printers.mllib b/dev/printers.mllib
index 71c88bc21b..1dfca34354 100644
--- a/dev/printers.mllib
+++ b/dev/printers.mllib
@@ -1,6 +1,7 @@
 Coq_config
 
 Hook
+Canary
 Hashset
 Hashcons
 CSet
-- 
cgit v1.2.3