Better way to kill CamlinternalOO

[xavierbot.git] / init

diff --git a/init b/init
index d6a0d92..a87e3fd 100644 (file)
--- a/init
+++ b/init
@@ -1,5 +1,5 @@
 (* Initialise the toplevel environment. -*- tuareg -*-
- * $Id: init,v 1.10 2008/02/13 17:17:31 rjones Exp $
+ * $Id: init,v 1.11 2008/02/13 17:35:32 rjones Exp $
  * - Removes the Pervasives module and any dangerous functions.
  * - Loads just the modules we want to give access to, and just
  *   the functions within those modules that we want to give.