Revision 45c13277 src/normalization.ml
src/normalization.ml | ||
---|---|---|
366 | 366 |
vars', defs@def_accu, {assert_ with assert_expr = expr}::assert_accu |
367 | 367 |
) (vars, [], []) node.node_asserts in |
368 | 368 |
let new_locals = List.filter is_local vars in |
369 |
(* Compute tracebaility info:
|
|
369 |
(* Compute traceability info:
|
|
370 | 370 |
- gather newly bound variables |
371 | 371 |
- compute the associated expression without aliases |
372 | 372 |
*) |
Also available in: Unified diff