Changeset 1188 for src/ERTL


Ignore:
Timestamp:
Sep 5, 2011, 5:14:41 PM (10 years ago)
Author:
mulligan
Message:

removed stray lines from uses.ma so that it at least typechecks

File:
1 edited

Legend:

Unmodified
Added
Removed

  • src/ERTL/uses.ma

    r1127 r1188  
    1818  λr.
    1919    assoc_list_find register nat (eq_identifier ?) uses 0 r.
    20 
    21 definition count ≝
    22   λr.
    23   λuses.
    24     (r,
    25 
    26 let count r uses = Register.Map.add r (lookup uses r + 1) uses
Note: See TracChangeset for help on using the changeset viewer.