1.1 --- a/src/Pure/Isar/ROOT.ML	Thu May 14 15:09:47 2009 +0200
     1.2 +++ b/src/Pure/Isar/ROOT.ML	Thu May 14 15:09:48 2009 +0200
     1.3 @@ -61,7 +61,6 @@
     1.4  use "../simplifier.ML";
     1.5  
     1.6  (*executable theory content*)
     1.7 -use "code_unit.ML";
     1.8  use "code.ML";
     1.9  
    1.10  (*specifications*)