Project

General

Profile

« Previous | Next » 

Revision ea758c12

Added by Pierre-Loïc Garoche about 2 years ago

Commenting out unused variables

View differences:

src/tools/zustre/zustre_common.ml
650 650
    List.fold_left (fun (instrs, resets) b ->
651 651
      let b_instrs, b_resets = branch_to_expr b in
652 652
      instrs@b_instrs, resets@b_resets 
653
    ) ([], reset_instances) hl 
653
      ) ([], reset_instances) hl
654
  | MSpec _ -> assert false
654 655

  
655 656
and instrs_to_expr machines reset_instances m instrs = 
656 657
  let instr_to_exprs rs i = instr_to_exprs machines rs m i in
......
728 729
	(fun accu e ->  FDSet.union accu (get_expr_vars e))
729 730
	FDSet.empty (Z3.Expr.get_args e)
730 731
  in
732
  (* Unsed variable. Coul;d be reintroduced 
731 733
  let extracted_vars = FDSet.elements (FDSet.diff (get_expr_vars expr) (FDSet.of_list dont_touch)) in
732 734
  let extracted_sorts = List.map Z3.FuncDecl.get_range extracted_vars in
733 735
  let extracted_symbols = List.map Z3.FuncDecl.get_name extracted_vars in
734

  
736
   *)
735 737
  if !debug then (
736 738
    Format.eprintf "Declaring rule: %s with variables @[<v 0>@ [%a@ ]@]@ @."
737 739
      (Z3.Expr.to_string expr)
......
939 941

  
940 942

  
941 943
(* Debug functions *)
942

  
944
(*
943 945
let rec extract_expr_fds e =
944 946
  (* Format.eprintf "@[<v 2>Extracting fundecls from expr %s@ " *)
945 947
  (*   (Z3.Expr.to_string e); *)
......
984 986
  in
985 987
  (* Format.eprintf "@]@ " *)
986 988
  ()      
987

  
989
 *)
988 990
(* Local Variables: *)
989 991
(* compile-command:"make -C ../.." *)
990 992
(* End: *)

Also available in: Unified diff