diff -r 108630498c00 -r 72c475e03e22 etc/options
--- a/etc/options	Wed Apr 06 11:50:07 2016 +0200
+++ b/etc/options	Wed Apr 06 11:57:21 2016 +0200
@@ -126,9 +126,6 @@
 public option ML_system_64 : bool = false
   -- "ML system for 64bit platform is used if possible (change requires restart)"
 
-option ML_system_bootstrap : bool = false
-  -- "provide access to low-level ML system structures (unsafe!)"
-
 
 section "Editor Reactivity"