Ignore:
Timestamp:
Nov 30, 2010, 5:01:09 PM (9 years ago)
Author:
mulligan
Message:

Removed stray ncheck in Status.ma.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • Deliverables/D4.1/Matita/Status.ma

    r343 r344  
    765765      ] (subaddressing_modein … a).
    766766     
    767 ncheck get_index_bv.
    768      
    769767ndefinition get_arg_8: Status → Bool → [[ direct ; indirect ; register ;
    770768                                          acc_a ; acc_b ; data ; acc_dptr ;
Note: See TracChangeset for help on using the changeset viewer.