src/Pure/ROOT0.ML
changeset 62930 51ac6bc389e8
parent 62929 b92565f98206
     1.1 --- a/src/Pure/ROOT0.ML	Sat Apr 09 14:52:10 2016 +0200
     1.2 +++ b/src/Pure/ROOT0.ML	Sat Apr 09 16:16:05 2016 +0200
     1.3 @@ -1,6 +1,7 @@
     1.4  (*** Isabelle/Pure bootstrap: initial setup ***)
     1.5  
     1.6  ML_file "General/exn.ML";
     1.7 +ML_file "General/output_primitives.ML";
     1.8  
     1.9  ML_file "Concurrent/thread_attributes.ML";
    1.10  ML_file "Concurrent/thread_data.ML";