src/Pure/ROOT.ML
changeset 52605 a2a805549c74
parent 52596 40298d383463
child 52788 da1fdbfebd39
     1.1 --- a/src/Pure/ROOT.ML	Thu Jul 11 23:24:40 2013 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Fri Jul 12 11:07:02 2013 +0200
     1.3 @@ -267,7 +267,7 @@
     1.4  use "Isar/outer_syntax.ML";
     1.5  use "General/graph_display.ML";
     1.6  use "Thy/present.ML";
     1.7 -use "PIDE/exec.ML";
     1.8 +use "PIDE/execution.ML";
     1.9  use "PIDE/command.ML";
    1.10  use "Thy/thy_load.ML";
    1.11  use "Thy/thy_info.ML";