Project

General

Profile

Revision 0bd19a92

View differences:

src/normalization.ml
78 78

  
79 79
(* Get the equation in [defs] with [expr] as rhs, if any *)
80 80
let get_expr_alias defs expr =
81
 try Some (List.find (fun eq -> is_eq_expr eq.eq_rhs expr) defs)
81
 try Some (List.find (fun eq -> Clocks.eq_clock expr.expr_clock eq.eq_rhs.expr_clock && is_eq_expr eq.eq_rhs expr) defs)
82 82
 with
83 83
 | Not_found -> None
84 84
  

Also available in: Unified diff