Project

General

Profile

Revision b08ffca7 src/access.ml

View differences:

src/access.ml
80 80
  let checks =
81 81
    List.fold_left check_var_decl checks (get_node_vars nd) in
82 82
  let checks =
83
    List.fold_left (fun checks eq -> check_expr checks eq.eq_rhs) checks nd.node_eqs in
83
    List.fold_left (fun checks eq -> check_expr checks eq.eq_rhs) checks (get_node_eqs nd) in
84 84
  nd.node_checks <- CSet.elements checks
85 85

  
86 86
let check_top_decl decl =

Also available in: Unified diff