src/Pure/ROOT.ML
changeset 62716 d80b9f4990e4
parent 62710 e17f014775a0
child 62817 744bfd770123
     1.1 --- a/src/Pure/ROOT.ML	Sat Mar 26 14:27:58 2016 +0100
     1.2 +++ b/src/Pure/ROOT.ML	Sat Mar 26 16:14:46 2016 +0100
     1.3 @@ -105,6 +105,7 @@
     1.4    let
     1.5      val context: ML_Compiler0.context =
     1.6       {name_space = ML_Name_Space.global,
     1.7 +      print_depth = NONE,
     1.8        here = Position.here oo Position.line_file,
     1.9        print = writeln,
    1.10        error = error};