Ignore:
Timestamp:
Dec 13, 2011, 1:34:37 AM (8 years ago)
Author:
sacerdot
Message:

Start of merging of stuff into the standard library of Matita.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/common/Globalenvs.ma

    r1583 r1599  
    495495      let init ≝ extract_init init_info in
    496496      let 〈g,st〉 ≝ g_st in
    497         match alloc_init_data st init r with [ pair st' b ⇒
     497        let 〈st',b〉 ≝ alloc_init_data st init r in
    498498          let g' ≝ add_symbol ? id b g in
    499499            〈g', st'〉
    500         ] )
     500        )
    501501    init_env vars.
    502502
Note: See TracChangeset for help on using the changeset viewer.