diff -r b92565f98206 -r 51ac6bc389e8 src/Pure/ROOT.ML
--- a/src/Pure/ROOT.ML	Sat Apr 09 14:52:10 2016 +0200
+++ b/src/Pure/ROOT.ML	Sat Apr 09 16:16:05 2016 +0200
@@ -301,6 +301,7 @@
 ML_file "System/isabelle_process.ML";
 ML_file "System/invoke_scala.ML";
 ML_file "PIDE/protocol.ML";
+ML_file "General/output_primitives_virtual.ML";
 
 
 subsection "Miscellaneous tools and packages for Pure Isabelle";