Project

General

Profile

Revision 728be1e1

View differences:

src/normalization.ml
370 370
      let assert_expr = assert_.assert_expr in
371 371
      let (defs, vars'), expr = 
372 372
	normalize_expr 
373
	  ~alias:false 
373
	  ~alias:true (* forcing introduction of new equations for fcn calls *) 
374 374
	  node 
375 375
	  [] (* empty offset for arrays *)
376 376
	  ([], vars) (* defvar only contains vars *)

Also available in: Unified diff