src/Pure/ROOT.ML

--- a/src/Pure/ROOT.ML	Fri Mar 18 17:51:57 2016 +0100
+++ b/src/Pure/ROOT.ML	Fri Mar 18 17:58:19 2016 +0100
@@ -61,7 +61,6 @@
 
 (* ML compiler *)
 
-use "General/secure.ML";
 use "ML/ml_compiler0.ML";
 
 PolyML.Compiler.reportUnreferencedIds := true;