src/Tools/Code/code_runtime.ML
changeset 40320 abc52faa7761
parent 40257 323f7aad54b0
child 40421 b41aabb629ce
     1.1 --- a/src/Tools/Code/code_runtime.ML	Wed Nov 03 08:29:32 2010 +0100
     1.2 +++ b/src/Tools/Code/code_runtime.ML	Wed Nov 03 10:44:53 2010 +0100
     1.3 @@ -418,8 +418,7 @@
     1.4        (0, Path.implode filepath) false (File.read filepath);
     1.5      val thy'' = (Context.the_theory o the) (Context.thread_data ());
     1.6      val names = Loaded_Values.get thy'';
     1.7 -    val thy''' = Thy_Load.provide_file filepath thy'';
     1.8 -  in (names, thy''') end;
     1.9 +  in (names, thy'') end;
    1.10  
    1.11  end;
    1.12