src/Pure/Syntax/syntax_phases.ML
changeset 56334 6b3739fee456
parent 56333 38f1422ef473
child 58047 9f3826352b52
     1.1 --- a/src/Pure/Syntax/syntax_phases.ML	Mon Mar 31 10:28:08 2014 +0200
     1.2 +++ b/src/Pure/Syntax/syntax_phases.ML	Mon Mar 31 12:35:39 2014 +0200
     1.3 @@ -878,7 +878,7 @@
     1.4      pretty_checks "term_checks" term_checks @
     1.5      pretty_checks "typ_unchecks" typ_unchecks @
     1.6      pretty_checks "term_unchecks" term_unchecks
     1.7 -  end |> Pretty.chunks |> Pretty.writeln;
     1.8 +  end |> Pretty.writeln_chunks;
     1.9  
    1.10  
    1.11  local