Changeset 3019 for extracted/uses.mli


Ignore:
Timestamp:
Mar 28, 2013, 5:27:46 PM (7 years ago)
Author:
sacerdot
Message:

New extraction after ERTLptr abortion.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/uses.mli

    r2951 r3019  
    121121open ERTL
    122122
    123 open ERTLptr
    124 
    125123val examine_internal :
    126124  AST.ident List.list -> Joint.joint_internal_function -> Positive.pos
Note: See TracChangeset for help on using the changeset viewer.