Changeset 3257


Ignore:
Timestamp:
May 8, 2013, 5:48:47 PM (4 years ago)
Author:
tranquil
Message:

fixed uses in ERTL

File:
1 edited

Legend:

Unmodified
Added
Removed
  • src/ERTL/uses.ma

    r3037 r3257  
    7070         | extension_seq s ⇒
    7171            match s with
    72              [ ertl_new_frame ⇒ map
    73              | ertl_del_frame ⇒ map
    74              | ertl_frame_size r ⇒ incr r map ]]]
     72             [ ertl_frame_size r ⇒ incr r map ]]]
    7573   | final _ ⇒ map
    7674   | FCOND (abs : has_fcond ERTL) _ _ _ ⇒ Ⓧabs ]
Note: See TracChangeset for help on using the changeset viewer.