Changeset 2729


Ignore:
Timestamp:
Feb 25, 2013, 9:51:36 PM (6 years ago)
Author:
sacerdot
Message:

More errors recognized

File:
1 edited

Legend:

Unmodified
Added
Removed
  • driver/error.ml

    r2721 r2729  
    6868| UnexpectedIO -> "UnexpectedIO"
    6969| TerminatedEarly -> "TerminatedEarly"
     70| RepeatedCostLabel -> "RepeatedCostLabel"
     71|BadCostLabelling -> "BadCostLabelling"
    7072
    7173let rec conv_list l =
Note: See TracChangeset for help on using the changeset viewer.