Revision b4d9710b src/normalization.ml
src/normalization.ml | ||
---|---|---|
382 | 382 |
let expr = substitute_expr diff_vars split_defs eq.eq_rhs in |
383 | 383 |
let pair = mkeexpr expr.expr_loc (mkexpr expr.expr_loc (Expr_tuple [expr_of_ident v.var_id expr.expr_loc; expr])) in |
384 | 384 |
(["horn_backend";"trace"], pair) |
385 |
) diff_vars;
|
|
385 |
) [] (*diff_vars*);
|
|
386 | 386 |
annot_loc = Location.dummy_loc |
387 | 387 |
} |
388 | 388 |
|
Also available in: Unified diff