src/Pure/ROOT.ML
changeset 49561 26fc70e983c2
parent 49560 11430dd89e35
child 49862 fb2d8ba7d3a9
     1.1 --- a/src/Pure/ROOT.ML	Tue Sep 25 14:32:41 2012 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Tue Sep 25 15:40:41 2012 +0200
     1.3 @@ -250,6 +250,7 @@
     1.4  use "Thy/thy_syntax.ML";
     1.5  use "PIDE/command.ML";
     1.6  use "Isar/outer_syntax.ML";
     1.7 +use "General/graph_display.ML";
     1.8  use "Thy/present.ML";
     1.9  use "Thy/thy_load.ML";
    1.10  use "Thy/thy_info.ML";