Project

General

Profile

Revision 45c13277 src/normalization.ml

View differences:

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