From a95210435f336d89f44052170a7c65563e6e35f2 Mon Sep 17 00:00:00 2001
From: Matthieu Sozeau <matthieu.sozeau@inria.fr>
Date: Wed, 24 Sep 2014 22:19:46 +0200
Subject: Index keys instead of simply global references.

---
 library/library.mllib | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'library/library.mllib')

diff --git a/library/library.mllib b/library/library.mllib
index 04244160b..eca28c822 100644
--- a/library/library.mllib
+++ b/library/library.mllib
@@ -17,4 +17,4 @@ Goptions
 Decls
 Heads
 Assumptions
-
+Keys
-- 
cgit v1.2.3