• David Hauzar's avatar
    Prevent loosing labels while doing eval_match. · f4a22d69
    David Hauzar authored
    When eval_match creates new terms from original terms, all labels of
    the original terms are copied to the new terms. The exception are
    labels of the form "model_trace:*". These labels are not copied if both
    original terms and new terms contain this label.
    f4a22d69
eval_match.ml 7.73 KB