--- a/src/Pure/General/ROOT.ML Fri Aug 26 19:47:23 2005 +0200 +++ b/src/Pure/General/ROOT.ML Sun Aug 28 09:02:42 2005 +0200 @@ -5,6 +5,7 @@ *) use "ord_list.ML"; +use "alist.ML"; use "table.ML"; use "output.ML"; use "graph.ML";