From 9a9a8ab4c2a07aa8faa04f50d6250930220b5be5 Mon Sep 17 00:00:00 2001
From: ppedrot <ppedrot@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Sun, 12 May 2013 15:33:27 +0000
Subject: Added a generic notion of hook. Hooks are functions to be set exactly
 once at runtime, often to reduce the mutual dependency of modules. This
 module permits to track them more easily.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@16509 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 checker/check.mllib | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'checker/check.mllib')

diff --git a/checker/check.mllib b/checker/check.mllib
index 48c629009..cd858000a 100644
--- a/checker/check.mllib
+++ b/checker/check.mllib
@@ -1,4 +1,6 @@
 Coq_config
+
+Hook
 Int
 Option
 Store
-- 
cgit v1.2.3