src/Pure/ROOT.ML
changeset 59714 ae322325adbb
parent 59470 31d810570879
child 59901 840d03805755
     1.1 --- a/src/Pure/ROOT.ML	Mon Mar 16 11:07:56 2015 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Mon Mar 16 11:30:54 2015 +0100
     1.3 @@ -310,6 +310,7 @@
     1.4  use "PIDE/resources.ML";
     1.5  use "Thy/thy_info.ML";
     1.6  use "PIDE/session.ML";
     1.7 +use "PIDE/protocol_message.ML";
     1.8  use "PIDE/document.ML";
     1.9  
    1.10  (*theory and proof operations*)