src/Pure/ROOT.ML
changeset 62668 360d3464919c
parent 62666 00aff1da05ae
child 62710 e17f014775a0
     1.1 --- a/src/Pure/ROOT.ML	Fri Mar 18 17:51:57 2016 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Fri Mar 18 17:58:19 2016 +0100
     1.3 @@ -61,7 +61,6 @@
     1.4  
     1.5  (* ML compiler *)
     1.6  
     1.7 -use "General/secure.ML";
     1.8  use "ML/ml_compiler0.ML";
     1.9  
    1.10  PolyML.Compiler.reportUnreferencedIds := true;