Ignore:
Timestamp:
Feb 5, 2013, 1:54:22 PM (7 years ago)
Author:
piccolo
Message:

Dead code commented out.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/registers.ml

    r2601 r2602  
    6868
    6969type 'a register_env = 'a Identifiers.identifier_map
    70 
    71 (** val register_ord : register -> register -> Order.order **)
    72 let register_ord =
    73   failwith "AXIOM TO BE REALIZED"
    74 
Note: See TracChangeset for help on using the changeset viewer.