--- a/src/Pure/ROOT Fri Mar 18 17:51:57 2016 +0100
+++ b/src/Pure/ROOT Fri Mar 18 17:58:19 2016 +0100
@@ -47,7 +47,6 @@
"General/random.ML"
"General/same.ML"
"General/scan.ML"
- "General/secure.ML"
"General/seq.ML"
"General/sha1.ML"
"General/socket_io.ML"