more correct parentheses
authorhaftmann
Wed Jan 03 23:18:46 2018 +0100 (18 months ago)
changeset 67338b164fdbb423d
parent 67337 4254cfd15b00
child 67339 d91b9d22305b
more correct parentheses
src/Tools/Code/code_runtime.ML
     1.1 --- a/src/Tools/Code/code_runtime.ML	Wed Jan 03 22:29:31 2018 +0100
     1.2 +++ b/src/Tools/Code/code_runtime.ML	Wed Jan 03 23:18:46 2018 +0100
     1.3 @@ -579,13 +579,13 @@
     1.4  
     1.5  fun print_computation kind ctxt T =
     1.6    print (fn { of_term_for_typ, ... } => fn prfx =>
     1.7 -    space_implode " " [
     1.8 +    enclose "(" ")" (space_implode " " [
     1.9        kind,
    1.10        "(Context.proof_of (Context.the_generic_context ()))",
    1.11        Long_Name.implode [prfx, generated_computationN, covered_constsN],
    1.12        (ML_Syntax.atomic o ML_Syntax.print_typ) T,
    1.13        Long_Name.append prfx (of_term_for_typ T)
    1.14 -    ]) ctxt;
    1.15 +    ])) ctxt;
    1.16  
    1.17  fun print_computation_check ctxt =
    1.18    print (fn { of_term_for_typ, ... } => fn prfx =>