Ignore:
Timestamp:
Apr 6, 2013, 7:35:25 PM (7 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/extracted/toCminor.ml

    r3059 r3106  
    20632063    Obj.magic
    20642064      (Monad.m_bind0 (Monad.max_def Errors.res0) (Obj.magic su)
    2065         (fun eta2356 ->
    2066         let result = eta2356 in
     2065        (fun eta2378 ->
     2066        let result = eta2378 in
    20672067        (let { Types.fst = fgens1; Types.snd = s0 } = result in
    20682068        (fun _ ->
Note: See TracChangeset for help on using the changeset viewer.