src/Pure/ML/ml_compiler2.ML

--- a/src/Pure/ML/ml_compiler2.ML	Sun Apr 10 21:30:48 2016 +0200
+++ b/src/Pure/ML/ml_compiler2.ML	Sun Apr 10 21:46:12 2016 +0200
@@ -10,3 +10,5 @@
       ML_Context.eval_file flags (Path.explode file)
         handle ERROR msg => (writeln msg; error "ML error")
     end);
+
+val use = ML_file;