diff options
Diffstat (limited to 'toplevel')
| -rw-r--r-- | toplevel/discharge.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/toplevel/discharge.ml b/toplevel/discharge.ml index b90f7e4935..23528e3f4f 100644 --- a/toplevel/discharge.ml +++ b/toplevel/discharge.ml @@ -358,8 +358,8 @@ let close_section _ s = Global.pop_named_decls ids; Summary.unfreeze_lost_summaries fs; let mc = segment_contents decls in - add_anonymous_leaf (in_end_section (sec_sp,mc)); - List.iter process_operation (List.rev ops) + add_anonymous_leaf (in_end_section (sec_sp,mc)); + List.iter process_operation (List.rev ops) let save_module_to s f = Library.save_module_to segment_contents s f |