src/Tools/Code/code_ml.ML
changeset 55679 59244fc1a7ca
parent 55677 1f89921f3e75
child 55681 7714287dc044
     1.1 --- a/src/Tools/Code/code_ml.ML	Sun Feb 23 10:33:43 2014 +0100
     1.2 +++ b/src/Tools/Code/code_ml.ML	Sun Feb 23 10:33:43 2014 +0100
     1.3 @@ -795,10 +795,10 @@
     1.4        ml_program_of_program ctxt module_name (Name.make_context reserved_syms) identifiers program;
     1.5  
     1.6      (* print statements *)
     1.7 -    fun print_stmt prefix_fragments (_, stmt) = print_ml_stmt
     1.8 +    fun print_stmt prefix_fragments (_, (export, stmt)) = print_ml_stmt
     1.9        tyco_syntax const_syntax (make_vars reserved_syms)
    1.10        (Code_Thingol.is_constr program) (deresolver prefix_fragments) stmt
    1.11 -      |> apfst SOME;
    1.12 +      |> apfst (fn decl => if export then SOME decl else NONE);
    1.13  
    1.14      (* print modules *)
    1.15      fun print_module _ base _ xs =