src/Pure/ROOT.ML
changeset 31476 c5d2899b6de9
parent 31432 9858f32f9569
child 32015 7101feb5247e
     1.1 --- a/src/Pure/ROOT.ML	Sat Jun 06 19:58:11 2009 +0200
     1.2 +++ b/src/Pure/ROOT.ML	Sat Jun 06 21:11:22 2009 +0200
     1.3 @@ -155,6 +155,7 @@
     1.4  (*ML support*)
     1.5  use "ML/ml_syntax.ML";
     1.6  use "ML/ml_env.ML";
     1.7 +use "Isar/runtime.ML";
     1.8  if ml_system = "polyml-experimental"
     1.9  then use "ML/ml_compiler_polyml-5.3.ML"
    1.10  else use "ML/ml_compiler.ML";