tuned
authorhaftmann
Thu Dec 27 11:32:28 2012 +0100 (2012-12-27)
changeset 5061836850cf745e7
parent 50617 9df2f825422b
child 50622 512dfe5e077f
tuned
src/Tools/Code/code_printer.ML
     1.1 --- a/src/Tools/Code/code_printer.ML	Wed Dec 26 11:06:21 2012 +0100
     1.2 +++ b/src/Tools/Code/code_printer.ML	Thu Dec 27 11:32:28 2012 +0100
     1.3 @@ -272,7 +272,7 @@
     1.4  
     1.5  fun applify opn cls f fxy_ctxt p [] = p
     1.6    | applify opn cls f fxy_ctxt p ps =
     1.7 -      (if (fixity BR fxy_ctxt) then enclose "(" ")" else Pretty.block)
     1.8 +      (if fixity BR fxy_ctxt then enclose "(" ")" else Pretty.block)
     1.9          (p @@ enum "," opn cls (map f ps));
    1.10  
    1.11  fun tuplify _ _ [] = NONE