src/Pure/ROOT.ML
changeset 52865 02a7e7180ee5
parent 52836 1a03ffc00a4a
child 52926 6415d95bf7a2
     1.1 --- a/src/Pure/ROOT.ML	Mon Aug 05 16:12:03 2013 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Mon Aug 05 17:14:02 2013 +0200
     1.3 @@ -269,6 +269,7 @@
     1.4  use "Thy/present.ML";
     1.5  use "PIDE/execution.ML";
     1.6  use "PIDE/command.ML";
     1.7 +use "PIDE/query_operation.ML";
     1.8  use "Thy/thy_load.ML";
     1.9  use "Thy/thy_info.ML";
    1.10  use "PIDE/document.ML";