src/Pure/Tools/ROOT.ML
changeset 29858 c8cee17d7e50
parent 29576 669b560fc2b9
child 30142 8d6145694bb5
child 30240 5b25fee0362c
     1.1 --- a/src/Pure/Tools/ROOT.ML	Wed Feb 11 14:48:14 2009 +1100
     1.2 +++ b/src/Pure/Tools/ROOT.ML	Wed Feb 11 16:03:10 2009 +1100
     1.3 @@ -9,5 +9,6 @@
     1.4  (*basic XML support*)
     1.5  use "xml_syntax.ML";
     1.6  
     1.7 -(*quickcheck needed here because of pg preferences*)
     1.8 -use "../../Tools/quickcheck.ML"
     1.9 +(*quickcheck/autosolve needed here because of pg preferences*)
    1.10 +use "../../Tools/quickcheck.ML";
    1.11 +use "../../Tools/auto_solve.ML";