src/Pure/ROOT.ML
changeset 56053 030531cc4c62
parent 55672 5e25cc741ab9
child 56072 31e427387ab5
     1.1 --- a/src/Pure/ROOT.ML	Tue Mar 11 14:28:39 2014 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Tue Mar 11 18:26:47 2014 +0100
     1.3 @@ -64,6 +64,7 @@
     1.4  use "PIDE/xml.ML";
     1.5  use "PIDE/yxml.ML";
     1.6  
     1.7 +use "General/change_table.ML";
     1.8  use "General/graph.ML";
     1.9  
    1.10  use "System/options.ML";