Changeset 3068


Ignore:
Timestamp:
Apr 2, 2013, 1:51:35 PM (8 years ago)
Author:
sacerdot
Message:

Debugging code removed.

File:
1 edited

Legend:

Unmodified
Added
Removed

  • extracted/fetch.ml

    r3065 r3068  
    138138    BitVectorTrie.bitVectorTrie) Types.prod **)
    139139let create_label_cost_map program =
    140 prerr_endline "CREATE_LABEL_COST_MAP";
    141140  Types.pi1 (create_label_cost_map0 program)
    142141
Note: See TracChangeset for help on using the changeset viewer.