Project

General

Profile

Revision 04a188ec src/tools/zustre/zustre_common.ml

View differences:

src/tools/zustre/zustre_common.ml
697 697
				      let hash = Hashtbl.hash
698 698
  end)
699 699
  in
700
(* Fonction seems unused 
701

  
700 702
  let rec get_expr_vars e =
701 703
    let open Utils in
702 704
    let nb_args = Z3.Expr.get_num_args e in
......
729 731
	(fun accu e ->  FDSet.union accu (get_expr_vars e))
730 732
	FDSet.empty (Z3.Expr.get_args e)
731 733
  in
734
 *)
732 735
  (* Unsed variable. Coul;d be reintroduced 
733 736
  let extracted_vars = FDSet.elements (FDSet.diff (get_expr_vars expr) (FDSet.of_list dont_touch)) in
734 737
  let extracted_sorts = List.map Z3.FuncDecl.get_range extracted_vars in

Also available in: Unified diff