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